1059 search results - page 126 / 212 » Modeling Security Protocols as Games |
159
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
117
Voted
JUCS
2008
15 years 3 days ago
2008
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...
96
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
We extend the definitional work of Dwork, Naor and Sahai from deniable authentication to deniable key-exchange protocols. We then use these definitions to prove the deniability fe...
117
Voted
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
102
click to vote
ACSAC
2001
IEEE
15 years 4 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...