On the security of the Canetti-Krawczyk model

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

Volumn 3802 LNAI, Issue , 2005, Pages 356-363

  Li, Xinghua ^a   Ma, Jianfeng ^a,b   Moon, Sangjae ^c  

^a XIDIAN UNIVERSITY   (China)

^b TIANJIN POLYTECHNIC UNIVERSITY   (China)

^c Kyungpook National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEM ANALYSIS; INFORMATION ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

CANETTI KRAWCZYK (CK); IMPERSONATION; PERFECT FORWARD SECRECY (PFS);

SECURITY OF DATA;

EID: 33646831640     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596981_53     Document Type: Conference Paper

References (25)

1. Canetti, R., Krawczyk, H., Advances in Cryptology Eurocrypt 2001, Analysis of KeyExchange Protocols and Their Use for Building Secure Channels. Lecture Notes in Computer Science, Springer-Verlag,Vol 2045 (2001) 453-474.
2. Colin Boyd, Wenbo Mao and Kenny Paterson: Key Agreement using Statically Keyed Authenticators, Applied Cryptography and Network Security: Second International Conference, ACNS 2004, Lecture Notes in Computer Science, Springer-verlag, volume 3089,(2004)248-262.
3. Bellare, M., Rogaway, P., Entity authentication and key distribution, Advances in Cryptology,- CRYPTO'93, Lecture Notes in Computer Science, Springer-Verlag, Vol 773 (1994) 232-249
4. Bellare, M., Canetti, R., Krawczyk, H., A modular approach to the design and analysis of authentication and key-exchange protocols, 30th STOC, (1998)419-428
5. A. Menezes, P. vanOorschot, and S. Vanstone, Handbook of Applied Cryptography, chapter 12, CRC Press, 1996.
6. W. Diffie, M. Hellman: New directions in cryptography, IEEE Trans. Info. Theory IT-22, November (1976)644-654
7. W. Diffie, P. van Oorschot, M. Wiener. Authentication and authenticated key exchanges, Designs, Codes and Cryptography, 2, (1992)107-125
8. H. Krawczyk. SKEME: A Versatile Secure Key Exchange Mechanism for Internet, Proceeding of the 1996 Internet Society Symposium on Network and Distributed System Security, Feb. (1996)114-127
9. H. Krawczyk, SKEME: A Versatile Secure Key Exchange Mechanism for Internet, Proceeding of the 1996 Internet Society Symposium on Network and Distributed System Security, (1996) 114-127
10. V. Shoup, On Formal Models for Secure Key Exchange, Theory of Cryptography Library, 1999. http://philby.ucsd,edu/cryptolib/1999/99-12.html
11. S. Blake-Wilson, D. Johnson, A. Menezes, Key Agreement Protocols and Their Security Analysis, Proceedings of the sixth IMA international Conference on Cryptography and Coding, 1997
12. L. law, A. Menezes, M.Qu, et.al, An Efficient Protocol for Authenticated Key Agreement. Tech. Bep. CORR 98-05, Department of C&O, University of Waterloo.
13. K. Shim, Cryptanalysis of Al-Riyami-Paterson's Authenticated Three Party Key Agreement Protocols, Cryptology ePrint Archive, Report 2003/122, 2003. http://eprint.iacr.org/2003/122.
14. R. Canetti, H. Krawczyk, Security Analysis of IKE's Signature-based Key-Exchange Protocol, Proc. of the Crypto conference, (2002).
15. Günther Horn, Keith M. Martin, Chris J. Mitchell, Authentication Protocols for Mobile Network Environment Value-Added Services, IEEE Transaction on Vehicular Technology, Vol 51 (2002)383-392
16. C. J. Mitchell, M. Ward, P. Wilson, Key control in key agreement protocols, Electronics Letters, Vol 34 (1998) 980-981
17. Tin, Y.S.T., Boyd, C. Nieto, J.G., Provably Secure Key Exchange: An Engineering Approach. Australasian Information Security Workshop 2003(AISW 2003) (2003) 97-104
18. R. Canetti, H. Krawczyk. Universally Composable Notions of Key Exchange and Secure Channels. Advances in Cryptology-EUROCRYPT 2002, Lecture Notes in Computer Science, Springer-vertag, volume 2332 (2002) 337-351.
19. Burrows, M., Abadi, M., Needham, R.M, A logic of Authentication, ACM Transactions on Computer Systems, vol.8, No.l (1990) 122-133.
20. Meadows C. Formal verification of cryptographic protocols: A survey. In: Advances in Cryptology, Asiacrypt'96 Proceedings. Lecture Notes in Computer Science, Springer-Verlag, Vol 1163, (1996) 135-150.
21. Li Xinghua, Ma Jianfeng, SangJae Moon, Security Extension for the Canetti-Krawczyk Model in Identity-based Systems, Science in China, Vol 34, (2004)
22. E. Bresson, O. Chevassut, D. Pointcheval. New Security Results on Encrypted Key Exchange, the 7th International Workshop on Theory and Practice in Public Key Cryptography-PKC 2004, Springer-Verlag, LNCS (2947) 145-158.
23. W. Aiello, S.M. Bellovin, M. Blaze. Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols. Proceedings of the 9th ACM conference on Computer and communications security (2002) 45-58
24. M. Bellare, P. Rogaway. Provably Secure Session Key Distribution: The Three Party Case. The 27th ACM Symposium on the Theory of Computing - STOC(1995) 57-66. ACM Press,1995.
25. th Australasian conference on information security and privacy-ACISP (2005).