Modular security proofs for key agreement protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3788 LNCS, Issue , 2005, Pages 549-565

  Kudla, Caroline ^a   Paterson, Kenneth G ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR ANALYSIS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; THEOREM PROVING;

BELLARE-ROGAWAY STYLE MODELS; ERROR-PRONE ANALYSIS; GAP ASSUMPTION; PROOF GENERATION;

SECURITY OF DATA;

EID: 33646756559     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11593447_30     Document Type: Conference Paper

References (27)

1. M. Abdalla, O. Chevassut, and D. Pointcheval. One-time verifier-based encrypted key exchange. In S. Vaudenay, editor, Public Key Cryptography - PKC 2005, volume 3386 of LNCS, pages 47-64. Springer-Verlag, 2005.
2. S.S. Al-Riyami and K.G. Paterson. Authenticated three party key agreement protocols from pairings. In K.G. Paterson, editor, Proceedings of 9th IMA International Conference on Cryptography and Coding, volume 2898 of Lecture Notes in Computer Science, pages 332-359. Springer-Verlag, 2003.
3. P.S.L.M. Barreto and N. McCullagh. A new two-party identity-based authenticated key agreement. Cryptology ePrint Archive, Report 2004/122, 2005. http://eprint.iacr.org/.
4. P.S.L.M. Barreto and N. McCullagh. A new two-party identity-based authenticated key agreement. In Topics in Cryptology - CT-RSA '2005, volume 3376 of Lecture Notes in Computer Science, pages 262-274. Springer-Verlag, 2005.
5. M. Bellare, R. Canetti, and H. Krawczyk, A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the 30th Annual Symposium on the Theory of Computing, pages 419-428. ACM, 1998.
6. M. Bellare, D. Pointcheval, and P. Rogaway. Authenticated key exchange secure against dictionary attacks. In B. Preneel, editor, Advances in Cryptology - EUROCRYPT 2000, volume 1807 of Lecture Notes in Computer Science, pages 139-155. Springer-Verlag, 2000.
7. M. Bellare and P. Rogaway. Entity authentication and key distribution. In Advances in Cryptology - CRYPTO '93, volume 773 of LNCS, pages 232-249. Springer-Verlag, 1994.
8. M. Bellare and P. Rogaway. Provably secure session key distribution: The three party case. In Proceedings of the 27th Annual ACM Symposium on Theory of Computing STOC, pages 57-66. ACM, 1995.
9. S. Blake-Wilson, D. Johnson, and A. Menezes. Key agreement protocols and their security analysis. In Cryptography and Coding, volume 1355 of LNCS, pages 30-45. Springer-Verlag, 1997.
10. C. Boyd, K.-K.R. Choo, and Y. Hitchcock. On session key construction in provably-secure key establishment protocols. In Proceedings of International Conference on Cryptology in Malaysia - Mycrypt 2005, volume 3715 of LNCS, page 116131. Springer-Verlag, 2005. http://eprint.iacr.org/2006/206.
11. C. Boyd, W. Mao, and K. Paterson. Key agreement using statically keyed authenticators. In Applied Cryptography and Network Security: Second International Conference, ACNS 2004, volume 3089 of Lecture Notes in Computer Science, pages 388-401. Springer-Verlag, 2004.
12. C. Boyd, J.M. González Nieto, and Y. Hitchcock. Tripartite key exchange in the Canetti-Krawczyk proof model. In Proceedings of 5th International Conference on Cryptology in India INDOCRYPT 2004, volume 3348 of Lecture Notes in Computer Science, pages 388-401. Springer-Verlag, 2004.
13. C. Boyd, J.M. González Nieto, Y. Hitchcock, P. Montague, and Y.S.T. Tin. A password-based authenticator: Security proof and applications. In Proceedings of 4th International Conference on Cryptology in India INDOCRYPT 2003, volume 2904 of Lecture Notes in Computer Science, pages 388-401. Springer-Verlag, 2003.
14. C. Boyd, J.M. Gonzáleź Nieto, and Y.S.T. Tin. Provably secure mobile key exchange: Applying the Canetti-Krawczyk approach. In Information Security and Privacy, 8th Australasian Conference, ACISP 2003, volume 2727 of Lecture Notes in Computer Science, pages 166-179. Springer-Verlag, 2003.
15. R. Canetti and H. Krawczyk. Analysis of key-exchange protocols and their use for building secure channels. In B. Pfitzmann, editor, Advances in Cryptology EUROCRYPT 2001, volume 2045 of LNCS, pages 453-474. Springer-Verlag, 2001.
16. R. Canetti and H. Krawczyk. Universally composable notions of key exchange and secure channels. In L.R. Knudsen, editor, Advances in Cryptology - EUROCRYPT 2002, volume 2332 of Lecture Notes in Computer Science, pages 337-351. Springer-Verlag, 2002.
17. L. Chen and C. Kudla. Identity based authenticated key agreement from pairings. Cryptology ePrint Archive, Report 2002/184, 2002. http://eprint.iacr. org/.
18. L. Chen and C. Kudla. Identity based authenticated key agreement from pairings. In IEEE Computer Security Foundations Workshop - CSFW-16 2003, pages 219-233. IEEE Computer Society Press, 2003.
19. W. Diffie, P. C. van Oorschot, and M. J. Weiner. Authentication and authenticated key exchange. Designs, Codes and Cryptography, 2:107-125, 1992.
20. M. Jakobsson and D. Pointcheval. Mutual authentication and key exchange protocol for low power devices. In Financial Cryptography, 5th International Conference, FC 2001, volume 2339 of Lecture Notes in Computer Science, page 178195. Springer-Verlag, 2002.
21. I.R. Jeong, J. Katz, and D.H. Lee. One-round protocols for two-party authenticated key exchange. In Applied Cryptography and Network Security: the Second International Conference, ACNS 2004, volume 3089 of Lecture Notes in Computer Science, pages 220-232. Springer-Verlag, 2004.
22. J. Katz and M. Yung. Scalable protocols for authenticated group key exchange. In D. Boneh, editor, Advances in Cryptology - CRYPTO 2003, volume 2729 of LNCS, pages 110-125. Springer-Verlag, 2003.
23. L. Law, A. Menezes, M. Qu, J. Solinas, and S.A. Vanstone. An efficient protocol for authenticated key agreement. Designs, Codes and Cryptography, 28(2):119-134, 2003.
24. T. Matsumoto, Y. Takashima, and H. Imai. On seeking smart public-key-distribution systems. Electronics Letters, E69(2):99-106, 1986.
25. T. Okamoto and D. Pointcheval. The gap-problems: A new class of problems for the security of cryptographic schemes. In K. Kim, editor, Public Key Cryptography - PKC 2001, volume 1992 of LNCS, pages 104-118. Springer-Verlag, 2001.
26. V. Shoup. On formal models for secure key exchange. IBM Technical Report RZ 3120, 1999. http://shoup.net/papers.
27. N.P. Smart. An identity based authenticated key agreement protocol based on the Weil pairing. Electronics Letters, 38(13):630-632, 2002.