3420 search results - page 325 / 684 » A Language-Based Approach to Security |
162
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
153
click to vote
OOPSLA
1990
Springer
15 years 10 months ago
1990
Springer
This paper describes a new approach to visualizing program systems within the object-oriented paradigm. This approach is based on a TEX-like notation which has been extended and g...
152
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
A concern about personal information confidentiality typically arises when any desktop application communicates to the external network, for example, to its producer's server...
187
click to vote
DMS
2010
15 years 4 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
169
click to vote
FI
2011
15 years 1 months ago
2011
: In this article, a security extension for the HiiMap Next Generation Internet Architecture is presented. We regard a public key infrastructure which is integrated into the mappin...