5255 search results - page 214 / 1051 » Formal Methods for Privacy |
150
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
Access control is concerned with granting access to sensitive data based on conditions that relate to the past or present, so-called provisions. Expressing requirements from the do...
122
click to vote
AGENTS
2000
Springer
15 years 8 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...
145
Voted
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
120
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
137
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...