Jonathan C. Herzog. The Di#e-Hellman key-agreement scheme in the strand-space model. In 16th Computer Security Foundations Workshop, pages 234--247, Asilomar, CA, June 2003. IEEE CS Press. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Searching for Shapes in Cryptographic Protocols - Doghmi, Guttman, Thayer (Correct)
No context found.
Jonathan C. Herzog. The Di#e-Hellman key-agreement scheme in the strand-space model. In 16th Computer Security Foundations Workshop, pages 234--247, Asilomar, CA, June 2003. IEEE CS Press.
Computationally Sound Verification of Security Protocols.. - Lakhnech, Mazare (2005) (Correct)
No context found.
Jonathan C. Herzog. The di#e-hellman key-agreement scheme in the strand-space model. In CSFW, pages 234--247. IEEE Computer Society, 2003.
Random polynomial-time attacks and Dolev-Yao models - Baudet (2004) (Correct)
No context found.
J. Herzog. The Di#e-Hellman key-agreement scheme in the strand-space model. In Proc. 16th IEEE Computer Science Foundations Workshop (CSFW), pages 234--247, 2003.
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003) (4 citations) (Correct)
No context found.
J. Herzog. The Di#e-Hellman key-agreement scheme in the strand-space model. In Proceedings of the 16th IEEE Computer Security Foundations Workshop --- CSFW'03, Asilomar, USA, 2003. IEEE Computer Society Press.
Computational Soundness for Standard Assumptions of Formal.. - Herzog (2004) (3 citations) (Correct)
No context found.
Jonathan C. Herzog. The Di#e-Hellman key-agreement scheme in the Strand-Space model. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW 16), pages 234--247. IEEE Computer Society, June 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC