{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T06:21:24Z","timestamp":1775283684497,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540308195","type":"print"},{"value":"9783540315988","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596981_53","type":"book-chapter","created":{"date-parts":[[2006,6,17]],"date-time":"2006-06-17T14:42:27Z","timestamp":1150555347000},"page":"356-363","source":"Crossref","is-referenced-by-count":8,"title":["On the Security of the Canetti-Krawczyk Model"],"prefix":"10.1007","author":[{"given":"Xinghua","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfeng","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SangJae","family":"Moon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"53_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/3-540-44987-6_28","volume-title":"Advances in Cryptology - EUROCRYPT 2001","author":"R. Canetti","year":"2001","unstructured":"Canetti, R., Krawczyk, H.: Advances in Cryptology Eurocrypt 2001, Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. In: Pfitzmann, B. (ed.) EUROCRYPT 2001. LNCS, vol.\u00a02045, pp. 453\u2013474. Springer, Heidelberg (2001)"},{"key":"53_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-24852-1_18","volume-title":"Applied Cryptography and Network Security","author":"C. Boyd","year":"2004","unstructured":"Boyd, C., Mao, W., Paterson, K.: Key Agreement using Statically Keyed Authenticators. In: Jakobsson, M., Yung, M., Zhou, J. (eds.) ACNS 2004. LNCS, vol.\u00a03089, pp. 248\u2013262. Springer, Heidelberg (2004)"},{"key":"53_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-48329-2_21","volume-title":"Advances in Cryptology - CRYPTO \u201993","author":"M. Bellare","year":"1994","unstructured":"Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol.\u00a0773, pp. 232\u2013249. Springer, Heidelberg (1994)"},{"key":"53_CR4","doi-asserted-by":"crossref","unstructured":"Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authentication and key-exchange protocols. In: 30th STOC, pp. 419\u2013428 (1998)","DOI":"10.1145\/276698.276854"},{"key":"53_CR5","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography, ch.\u00a012","author":"A. Menezes","year":"1996","unstructured":"Menezes, A., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography, ch.\u00a012. CRC Press, Boca Raton (1996)"},{"issue":"6","key":"53_CR6","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W. Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.: New directions in cryptography. IEEE Trans. Info. Theory IT-22, 644\u2013654 (November 1976)","journal-title":"IEEE Transactions on Information Theory"},{"key":"53_CR7","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF00124891","volume":"2","author":"W. Diffie","year":"1992","unstructured":"Diffie, W., van Oorschot, P., Wiener, M.: Authentication and authenticated key exchanges. Designs, Codes and Cryptography\u00a02, 107\u2013125 (1992)","journal-title":"Designs, Codes and Cryptography"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"Krawczyk, H.: SKEME: A Versatile Secure Key Exchange Mechanism for Internet. In: Proceeding of the 1996 Internet Society Symposium on Network and Distributed System Security, February, pp. 114\u2013127 (1996)","DOI":"10.1109\/NDSS.1996.492418"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"Krawczyk, H.: SKEME: A Versatile Secure Key Exchange Mechanism for Internet. In: Proceeding of the 1996 Internet Society Symposium on Network and Distributed System Security, pp. 114\u2013127 (1996)","DOI":"10.1109\/NDSS.1996.492418"},{"key":"53_CR10","unstructured":"Shoup, V.: On Formal Models for Secure Key Exchange, Theory of Cryptography Library (1999), http:\/\/philby.ucsd.edu\/cryptolib\/1999\/99-12.html"},{"key":"53_CR11","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/BFb0024447","volume-title":"Crytography and Coding","author":"Simon Blake-Wilson","year":"1997","unstructured":"Blake-Wilson, S., Johnson, D., Menezes, A.: Key Agreement Protocols and Their Security Analysis. In: Proceedings of the sixth IMA international Conference on Cryptography and Coding (1997)"},{"key":"53_CR12","unstructured":"Law, L., Menezes, A., Qu, M., et al.: An Efficient Protocol for Authenticated Key Agreement. Tech. Rep. CORR 98-05, Department of C&O, University of Waterloo"},{"key":"53_CR13","unstructured":"Shim, K.: Cryptanalysis of Al-Riyami-Paterson\u2019s Authenticated Three Party Key Agreement Protocols, Cryptology ePrint Archive, Report 2003\/122 (2003), http:\/\/eprint.iacr.org\/2003\/122"},{"key":"53_CR14","doi-asserted-by":"crossref","unstructured":"Canetti, R., Krawczyk, H.: Security Analysis of IKE\u2019s Signature-based Key-Exchange Protocol. In: Proc. of the Crypto conference (2002)","DOI":"10.1007\/3-540-45708-9_10"},{"key":"53_CR15","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1109\/25.994813","volume":"51","author":"G. Horn","year":"2002","unstructured":"Horn, G., Martin, K.M., Mitchell, C.J.: Authentication Protocols for Mobile Network Environment Value-Added Services. IEEE Transaction on Vehicular Technology\u00a051, 383\u2013392 (2002)","journal-title":"IEEE Transaction on Vehicular Technology"},{"key":"53_CR16","doi-asserted-by":"publisher","first-page":"980","DOI":"10.1049\/el:19980686","volume":"34","author":"C.J. Mitchell","year":"1998","unstructured":"Mitchell, C.J., Ward, M., Wilson, P.: Key control in key agreement protocols. Electronics Letters\u00a034, 980\u2013981 (1998)","journal-title":"Electronics Letters"},{"key":"53_CR17","unstructured":"Tin, Y.S.T., Boyd, C., Nieto, J.G.: Provably Secure Key Exchange: An Engineering Approach. In: Australasian Information Security Workshop 2003 (AISW 2003), pp. 97\u2013104 (2003)"},{"key":"53_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-46035-7_22","volume-title":"Advances in Cryptology - EUROCRYPT 2002","author":"R. Canetti","year":"2002","unstructured":"Canetti, R., Krawczyk, H.: Universally Composable Notions of Key Exchange and Secure Channels. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol.\u00a02332, pp. 337\u2013351. Springer, Heidelberg (2002)"},{"issue":"1","key":"53_CR19","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of Authentication. ACM Transactions on Computer Systems\u00a08(1), 122\u2013133 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"53_CR20","series-title":"Lecture Notes in Computer Science","first-page":"135","volume-title":"Advances in Cryptology - ASIACRYPT \u201996","author":"C. Meadows","year":"1996","unstructured":"Meadows, C.: Formal verification of cryptographic protocols: A survey. In: Kim, K.-c., Matsumoto, T. (eds.) ASIACRYPT 1996. LNCS, vol.\u00a01163, pp. 135\u2013150. Springer, Heidelberg (1996)"},{"key":"53_CR21","unstructured":"Xinghua, L., Jianfeng, M., Moon, S.J.: Security Extension for the Canetti-Krawczyk Model in Identity-based Systems. Science in China\u00a034 (2004)"},{"key":"53_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-24632-9_11","volume-title":"Public Key Cryptography \u2013 PKC 2004","author":"E. Bresson","year":"2004","unstructured":"Bresson, E., Chevassut, O., Pointcheval, D.: New Security Results on Encrypted Key Exchange. In: Bao, F., Deng, R., Zhou, J. (eds.) PKC 2004. LNCS, vol.\u00a02947, pp. 145\u2013158. Springer, Heidelberg (2004)"},{"key":"53_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-45807-7_5","volume-title":"Security Protocols","author":"William Aiello","year":"2002","unstructured":"Aiello, W., Bellovin, S.M., Blaze, M.: Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols. In: Proceedings of the 9th ACM conference on Computer and communications security, pp. 45\u201358 (2002)"},{"key":"53_CR24","first-page":"57","volume-title":"The 27th ACM Symposium on the Theory of Computing \u2013 STOC","author":"M. Bellare","year":"1995","unstructured":"Bellare, M., Rogaway, P.: Provably Secure Session Key Distribution: The Three Party Case. In: The 27th ACM Symposium on the Theory of Computing \u2013 STOC, pp. 57\u201366. ACM Press, New York (1995)"},{"key":"53_CR25","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/11506157_36","volume-title":"Information Security and Privacy","author":"Kim-Kwang Raymond Choo","year":"2005","unstructured":"Choo, K.K.R., Hitchcock, Y.: Security requirement for key establishment proof models: revisiting bellare-rogaway and Jeong-Katz-Lee Protocols. In: Proceedings of the 10th Australasian conference on information security and privacy-ACISP (2005)"}],"container-title":["Lecture Notes in Computer Science","Computational Intelligence and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596981_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T12:04:42Z","timestamp":1736424282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596981_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308195","9783540315988"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11596981_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}