5255 search results - page 109 / 1051 » Formal Methods for Privacy |
137
Voted
CCS
2003
ACM
15 years 7 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
108
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
115
click to vote
SP
1998
IEEE
15 years 6 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
113
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
138
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
As the XML model gets more popular, new needs arise to specify access control within XML model. Various XML access control models and enforcement methods have been proposed recentl...