Revisiting Lee, Kim, & Yoo Authenticated Key Agreement Protocol

International Journal of Network Security

Volumn 2, Issue 1, 2006, Pages 64-68

  Choo, Kim Kwang Raymond ^a  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Key agreement protocols; Password based protocols; Provable security

Indexed keywords

APPLIED MATHEMATICS; AUTHENTICATED KEY AGREEMENT PROTOCOLS; FORMAL PROOFS; KEY AGREEMENT PROTOCOL; PROTOCOL DESIGNERS; PROVABLE SECURITY;

NETWORK SECURITY; SAFETY ENGINEERING;

PUBLIC KEY CRYPTOGRAPHY;

EID: 84874914559     PISSN: 1816353X     EISSN: 18163548     Source Type: Journal    
DOI: None     Document Type: Article

References (44)

1. F. Bao, "Security analysis of a password authenticated key exchange protocol," in 6th Information Se-curity Conference-ISC 2003, LNCS 2851, pp. 208-217, Springer-Verlag, 2003.
2. F. Bao, "Colluding attacks to a payment protocol and two signature exchange schemes," in Advances in Cryptology-Asiacrypt 2004, LNCS 3329, pp. 417-429, Springer-Verlag, 2004.
3. D. A. Basin, S. Mödersheim, and L. Viganó, An On-the-fly Model-checker for Security Protocol Analysis, Technical Report 404, Information Security Group, ETH Zentrum, 2003.
4. D. A. Basin, S. Mödersheim, and L. Viganó, "An on-the-fly model-checker for security protocol analysis," in 8th European Symposium on Research inComputer Security-ESORICS 2003, LNCS 2808, pp. 253-270, Springer-Verlag, 2003.
5. M. Bellare, R. Canetti, and H. Krawczyk, "A modular approach to the design and analysis of authentication and key exchange protocols," in 30th ACM Sym-posium on the Theory of Computing-STOC 1998, pp. 419-428, ACM Press, 1998.
6. M. Bellare and P. Rogaway, "Entity authentication and key distribution," in Advances in Cryptology-Crypto 1993, LNCS 773, pp. 110-125, Springer-Verlag, 1993.
7. M. Bellare and P. Rogaway, "Provably secure session key distribution: The three party case," in 27th ACM Symposium on the Theory of Computing-STOC 1995, pp. 57-66, ACM Press, 1995.
8. S. Blake-Wilson, D. Johnson, and A. Menezes, "Key agreement protocols and their security analysis," in 6th IMA International Conference on Cryptography and Coding, LNCS 1355, pp. 30-45, Springer-Verlag, 1997.
9. S. Blake-Wilson and A. Menezes, "Security proofs for entity authentication and authenticated key transport protocols employing asymmetric techniques," in Security Protocols Workshop, LNCS 1361, pp. 137-158, Springer-Verlag, 1997.
10. D. Bleichenbacher, "Breaking a cryptographic protocol with pseudoprimes," in Public Key Cryptography-PKC 2005, LNCS 3386, pp. 9-15, Springer-Verlag, 2005.
11. C. Boyd and A. Mathuria, Protocols for Authentica-tion and Key Establishment, Springer-Verlag, June 2003.
12. R. Canetti, Universally Composable Security: A New Paradigm for Cryptographic Protocols, Cryptology ePrint Archive, Report 2000/067, 2000. http: //eprint.iacr.org/2000/067/.
13. R. Canetti and M. Fischlin, "Universally composable commitments," in Advances in Cryptology-Crypto 2001, LNCS 2139, pp. 19-40, Springer-Verlag, 2001.
14. R. Canetti, S. Halevi, J. Katz, Y. Lindell, and P. MacKenzie, "Universally composable passwordbased key exchange (extended version available from http://eprint.iacr.org/2005/196)," in Advances in Cryptology-Eurocrypt 2005, LNCS 3494, pp. 404-421, Springer-Verlag, 2005.
15. R. Canetti and H. Krawczyk, "Analysis of keyexchange protocols and their use for building secure channels (extended version available from http: //eprint.iacr.org/2001/040/)," in Advances in Cryptology-Eurocrypt 2001, LNCS 2045, pp. 453-474, Springer-Verlag, 2001.
16. I. Cervesato, N. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov, "A meta-notation for protocol analysis," in 12th Computer Security Foundations Work-shop-CSFW 1999, pp. 55-71. IEEE Computer Society Press, 1999.
17. K.-K. R. Choo, "The provably-secure key establishment and mutual authentication protocols lounge, http://sky.fit.qut.edu.au/~choo/lounge.html,", 2005.
18. K.-K. R. Choo, C. Boyd, and Y. Hitchcock, "Errors in computational complexity proofs for protocols (available from http://sky.fit.qut.edu.au/ ~choo/publication.html)," in (Accepted to appear in) Advances in Cryptology-Asiacrypt 2005, Lecture Notes in Computer Science, Springer-Verlag, 2005.
19. K.-K. R. Choo, C. Boyd, and Y. Hitchcock, "Examining indistinguishability-based proof models for key establishment protocols (extended version available from http://eprint.iacr.org/2005/270)," in (Accepted to appear in) Advances in Cryptology-Asiacrypt 2005, Lecture Notes in Computer Science, Springer-Verlag, 2005.
20. K.-K. R. Choo, C. Boyd, and Y. Hitchcock, "The importance of proofs of security for key establishment protocols: Formal analysis of jan-chen, yang-shen-shieh, kim-huh-hwang-lee, lin-sun-hwang, & yeh-sun protocols (extended version available from http://eprints.qut.edu.au/perl/user_eprints?userid=51)," (To appear in) Journal of Computer Communications-Special Issue of In-ternet Communications Security, 2005.
21. K.-K. R. Choo, C. Boyd, and Y. Hitchcock, "On session key construction in provably secure protocols," in 1st International Conference on Cryptology in Malaysia-Mycrypt 2005, LNCS 3715, pp. 116-131, Springer-Verlag, 2005.
22. K.-K. R. Choo, C. Boyd, Y. Hitchcock, and G. Maitland, "On session identifiers in provably secure protocols: The bellare-rogaway three-party key distribution protocol revisited (extended version available from http://eprint.iacr.org/2004/345)," in 4th Conference on Security in Communication Networks-SCN 2004, LNCS 3352, pp. 352-367, Springer-Verlag, 2004.
23. K.-K. R. Choo and Y. Hitchcock, "Security requirements for key establishment proof models: Revisiting bellare-rogaway and jeong-katz-lee protocols (extended version available from http://sky.fit.qut.edu.au/~choo/publication.html)," in 10th Aus-tralasian Conference on Information Security and Privacy-ACISP 2005, LNCS 3574, pp. 429-442, Springer-Verlag, 2005.
24. I. Damgård, "A design principle for hash functions," in Advances in Cryptology-Crypto 1989, LNCS 435, pp. 416-427, Springer-Verlag, 1989.
25. D. Dolev and A. C. Yao, "On the security of public key protocols," IEEE Transaction of Information Technology, vol. 29, no. 2, pp. 198-208, 1983.
26. B. Donovan, P. Norris, and G. Lowe, "Analyzing a library of security protocols using Casper and FDR," in Workshop on Formal Methods and Security Pro-tocols, 1999.
27. C. J. Fidge, A Survey of Verification Techniques for Security Protocols, Technical Report 01-22, Software Verification Research Centre, The University of Queensland, Brisbane, 2001.
28. B. S. Kaliski, "An unknown key-share attack on the mqv key agreement protocol," ACM Transactions on Information and System Security (TISSEC), vol. 4, no. 3, pp. 275-288, 2001.
29. N. Koblitz and A. Menezes, "Another look at "provable security",". Cryptology ePrint Archive, Report 2004/152, 2004. http://eprint.iacr.org/2004/152/.
30. N. Koblitz and A. Menezes, Another Look at "Provable Security", Technical Report CORR 2004-20, Centre for Applied Cryptographic Research, University of Waterloo, Canada, 2004.
31. H. Krawczyk, "Sigma: The 'sign-and-mac' approach to authenticated diffie-hellman and its use in the ikeprotocols," in Advances in Cryptology-Crypto 2003, LNCS 2729, pp. 400-425, Springer-Verlag, 2003.
32. H. Krawczyk, "Hmqv: A high-performance secure diffie-hellman protocol (extended version available from http://eprint.iacr.org/2005/176/)," in Advances in Cryptology-Crypto 2005, LNCS 3621, pp. 546-566, Springer-Verlag, 2005.
33. S.-W. Lee, H.-S. Kim, and K.-Y. Yoo, "Improvement of lee and lee's authenticated key agreement scheme," Journal of Applied Mathematics and Computation, vol. 162, pp. 1049-1053, 2005.
34. C. Meadows, "Open issues in formal methods for cryptographic protocol analysis," in DARPA In-formation Survivability Conference and Exposition, vol. 2052, pp. 237-250, IEEE Computer Society Press, 2000.
35. C. Meadows, "Formal methods for cryptographic protocol analysis: Emerging issues and trends," IEEE Journal on Selected Area in Communications, vol. 21, no. 1, pp. 44-54, 2003.
36. R. Merkle, "One way hash functions and DES," in Advances in Cryptology-Crypto 1989, LNCS 435, pp. 428-446, Springer-Verlag, 1989.
37. J. Nam, S. Kim, and D. Won, "Attacks on bressonchevassut-essiari-pointcheval's group key agreement scheme," Cryptology ePrint Archive, Report 2004/251, 2004. http://eprint.iacr.org/2004/251/.
38. K. Shim, "Cryptanalysis of mutual authentication and key exchange for low power wireless communications," IEEE Communications Letters, vol. 7, no. 5, pp. 248-250, 2003.
39. V. Shoup, On Formal Models for Secure Key Ex-change (version 4), Technical Report RZ 3120 (#93166), IBM Research, Zurich, 1999.
40. V. Shoup, "Oaep reconsidered," in Advances in Cryptology-Crypto 2001, LNCS 2139, pp. 239-259, Springer-Verlag, 2001.
41. Z. Wan and S. Wang, "Cryptanalysis of two password-authenticated key exchange protocols," in 9th Australasian Conference on Information Security and Privacy-ACISP 2004, LNCS 3108, pp. 164-175, Springer-Verlag, 2004.
42. J. M. Wing, "A symbiotic relationship between formal methods and security," in Workshops on Com-puter Security, Fault Tolerance, and Software As-surance: From Needs to Solution, IEEE Computer Press, 1998.
43. D. S. Wong and A. H. Chan, "Efficient and mutually authenticated key exchange for low power computing devices," in Advances in Cryptology-Asi-acrypt 2001, LNCS 2248, pp. 172-289, Springer-Verlag, 2001.
44. M. Zhang, "Breaking an improved password authenticated key exchange protocol for imbalanced wireless networks," IEEE Communications Letters, vol. 9, no. 3, pp. 276-278, 2005.