1059 search results - page 10 / 212 » Modeling Security Protocols as Games |
CCS
2010
ACM
15 years 2 months ago
2010
ACM
117
Voted
INDOCRYPT
2004
Springer
15 years 7 months ago
2004
Springer
A definition of secure multi-party key exchange in the Canetti-Krawczyk proof model is proposed, followed by a proof of the security of the Joux tripartite key agreement protocol...
111
click to vote
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
97
Voted
IFIP
2009
Springer
14 years 11 months ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
117
click to vote
ACISP
2008
Springer
15 years 3 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...