216 search results - page 1 / 44 » Models and Proofs of Protocol Security: A Progress Report |
67
Voted
CAV
2009
Springer
16 years 14 days ago
2009
Springer
ACISP
2008
Springer
15 years 1 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...
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
JCS
2010
14 years 10 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
INDOCRYPT
2004
Springer
15 years 5 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...