{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:15:41Z","timestamp":1773717341504,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642153167","type":"print"},{"value":"9783642153174","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15317-4_15","type":"book-chapter","created":{"date-parts":[[2010,9,9]],"date-time":"2010-09-09T22:46:58Z","timestamp":1284072418000},"page":"219-234","source":"Crossref","is-referenced-by-count":50,"title":["A New Security Model for Authenticated Key Agreement"],"prefix":"10.1007","author":[{"given":"Augustin P.","family":"Sarr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Elbaz-Vincent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Claude","family":"Bajard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","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":"15_CR2","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/168588.168596","volume-title":"Proc. of the first ACM Conference on Computer and Communications Security","author":"M. Bellare","year":"1993","unstructured":"Bellare, M., Rogaway, P.: Random Oracles are Practical: a Paradigm for Designing Efficient Protocols. In: Proc. of the first ACM Conference on Computer and Communications Security, pp. 62\u201373. ACM, New York (1993)"},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1145\/225058.225084","volume-title":"Proc. of the twenty\u2013seventh annual ACM symposium on Theory of computing","author":"M. Bellare","year":"1995","unstructured":"Bellare, M., Rogaway, P.: Provably Secure Session Key Distribution \u2014 The Three Party Case. In: Proc. of the twenty\u2013seventh annual ACM symposium on Theory of computing, pp. 57\u201366. ACM, New York (1995)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-540-28628-8_17","volume-title":"Advances in Cryptology \u2013 CRYPTO 2004","author":"M. Bellare","year":"2004","unstructured":"Bellare, M., Palacio, A.: The Knowledge\u2013of\u2013Exponent Assumptions and 3\u2013round Zero\u2013Knowledge Protocols. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol.\u00a03152, pp. 273\u2013289. Springer, Heidelberg (2004)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/BFb0024447","volume-title":"Cryptography and Coding","author":"S. Blake\u2013Wilson","year":"1997","unstructured":"Blake\u2013Wilson, S., Johnson, D., Menezes, A.: Key Agreement Protocols and their Security Analysis. In: Darnell, M.J. (ed.) Cryptography and Coding 1997. LNCS, vol.\u00a01355, pp. 30\u201345. Springer, Heidelberg (1997)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/3-540-46035-7_21","volume-title":"Advances in Cryptology - EUROCRYPT 2002","author":"E. Bresson","year":"2002","unstructured":"Bresson, E., Chevassut, O., Pointcheval, D.: Dynamic Group Diffie\u2013Hellman Key Exchange under Standard Assumptions. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol.\u00a02332, pp. 321\u2013336. Springer, Heidelberg (2002)"},{"key":"15_CR7","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.: Analysis of Key\u2013Exchange Protocols and Their Use for Building Secure Channels. In: Pfitzmann, B. (ed.) EUROCRYPT 2001. LNCS, vol.\u00a02045, pp. 453\u2013474. Springer, Heidelberg (2001)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-45708-9_10","volume-title":"Advances in Cryptology - CRYPTO 2002","author":"R. Canetti","year":"2002","unstructured":"Canetti, R., Krawczyk, H.: Security Analysis of IKE\u2019s Signature\u2013based Key\u2013Exchange Protocol. In: Yung, M. (ed.) CRYPTO 2002. LNCS, vol.\u00a02442, pp. 143\u2013161. Springer, Heidelberg (2002)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/11593447_32","volume-title":"Advances in Cryptology - ASIACRYPT 2005","author":"K.-K.R. Choo","year":"2005","unstructured":"Choo, K.-K.R., Boyd, C., Hitchcock, Y.: Examining Indistinguishability\u2013Based Proof Models for Key Establishment Protocols. In: Roy, B. (ed.) ASIACRYPT 2005. LNCS, vol.\u00a03788, pp. 585\u2013604. Springer, Heidelberg (2005)"},{"key":"15_CR10","unstructured":"Cremers, C.: Formally and Practically Relating the CK, CK\u2013HMQV, and eCK Security Models for Authenticated Key Exchange. Cryptology ePrint Archive, Report 2009\/253 (2009)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-77026-8_17","volume-title":"Progress in Cryptology \u2013 INDOCRYPT 2007","author":"K. Gopalakrishnan","year":"2007","unstructured":"Gopalakrishnan, K., Th\u00e9riault, N., Yao, C.Z.: Solving Discrete Logarithms from Partial Knowledge of the Key. In: Srinathan, K., Rangan, C.P., Yung, M. (eds.) INDOCRYPT 2007. LNCS, vol.\u00a04859, pp. 224\u2013237. Springer, Heidelberg (2007)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kim, M., Fujioka, A., Ustaoglu, B.: Strongly Secure Authenticated Key Exchange without NAXOS\u2019 Approach. In: Takagi, T., Echizen, I. (eds.) IWSEC 2009. LNCS, vol.\u00a05824, pp. 174\u2013191. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04846-3_12"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Krawczyk H.: HMQV: A Hight Performance Secure Diffie\u2013Hellman Protocol. Cryptology ePrint Archive, Report 2005\/176 (2005)","DOI":"10.1007\/11535218_33"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1007\/11535218_33","volume-title":"Advances in Cryptology \u2013 CRYPTO 2005","author":"H. Krawczyk","year":"2005","unstructured":"Krawczyk, H.: HMQV: A Hight Performance Secure Diffie\u2013Hellman Protocol. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol.\u00a03621, pp. 546\u2013566. Springer, Heidelberg (2005)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11832072_11","volume-title":"Security and Cryptography for Networks","author":"S. Kunz-Jacques","year":"2006","unstructured":"Kunz-Jacques, S., Pointcheval, D.: About the Security of MTI\/C0 and MQV. In: De Prisco, R., Yung, M. (eds.) SCN 2006. LNCS, vol.\u00a04116, pp. 156\u2013172. Springer, Heidelberg (2006)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75670-5_1","volume-title":"Provable Security","author":"B. LaMacchia","year":"2007","unstructured":"LaMacchia, B., Lauter, K., Mityagin, A.: Stronger Security of Authenticated Key Exchange. In: Susilo, W., Liu, J.K., Mu, Y. (eds.) ProvSec 2007. LNCS, vol.\u00a04784, pp. 1\u201316. Springer, Heidelberg (2007)"},{"issue":"2","key":"15_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1023\/A:1022595222606","volume":"28","author":"L. Law","year":"2003","unstructured":"Law, L., Menezes, A., Qu, M., Solinas, J., Vanstone, S.: An Efficient protocol for authenticated key agreement. Designs, Codes and Cryptography\u00a028(2), 119\u2013134 (2003)","journal-title":"Designs, Codes and Cryptography"},{"key":"15_CR18","unstructured":"Lee, J., Park, C.S.: An Efficient Authenticated Key Exchange Protocol with a Tight Security Reduction. Cryptology ePrint Archive, Report 2008\/345 (2008)"},{"key":"15_CR19","unstructured":"Lee, J., Park, J. H.: Authenticated Key Exchange Secure under the Computational Diffe\u2013Hellman Assumption. Cryptology ePrint Archive, Report 2008\/344 (2008)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/3-540-68697-5_21","volume-title":"Advances in Cryptology - CRYPTO \u201996","author":"U.M. Maurer","year":"1996","unstructured":"Maurer, U.M., Wolf, S.: Diffie\u2013Hellman Oracles. In: Koblitz, N. (ed.) CRYPTO 1996. LNCS, vol.\u00a01109, pp. 268\u2013282. Springer, Heidelberg (1996)"},{"key":"15_CR21","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"A. Menezes","year":"1996","unstructured":"Menezes, A., van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1996)"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11941378_11","volume-title":"Progress in Cryptology - INDOCRYPT 2006","author":"A. Menezes","year":"2006","unstructured":"Menezes, A., Ustaoglu, B.: On the Importance of Public\u2013Key Validation in the MQV and HMQV Key Agreement Protocols. In: Barua, R., Lange, T. (eds.) INDOCRYPT 2006. LNCS, vol.\u00a04329, pp. 133\u2013147. Springer, Heidelberg (2006)"},{"issue":"3","key":"15_CR23","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1504\/IJACT.2009.023472","volume":"1","author":"A. Menezes","year":"2009","unstructured":"Menezes, A., Ustaoglu, B.: Comparing the Pre\u2013 and Post\u2013specified Peer Models for Key Agreement. International Journal of Applied Cryptography\u00a01(3), 236\u2013250 (2009)","journal-title":"International Journal of Applied Cryptography"},{"key":"15_CR24","first-page":"58","volume-title":"Proc. of the third ACM conference on Computer and communications security","author":"D. M\u2019Ra\u00efhi","year":"1996","unstructured":"M\u2019Ra\u00efhi, D., Naccache, D.: Batch Exponentiation: A Fast DLP-based Signature Generation Strategy. In: Proc. of the third ACM conference on Computer and communications security, pp. 58\u201361. ACM, New York (1996)"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/3-540-44586-2_8","volume-title":"Public Key Cryptography","author":"T. Okamoto","year":"2001","unstructured":"Okamoto, T., Pointcheval, D.: The Gap\u2013Problems: A New Class of Problems for the Security of Cryptographic Schemes. In: Kim, K.-c. (ed.) PKC 2001. LNCS, vol.\u00a01992, pp. 104\u2013118. Springer, Heidelberg (2001)"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s001450010003","volume":"13","author":"D. Pointcheval","year":"2000","unstructured":"Pointcheval, D., Stern, J.: Security Arguments for Digital Signatures and Blind Signatures. Journal of Cryptology\u00a013, 361\u2013396 (2000)","journal-title":"Journal of Cryptology"},{"issue":"3","key":"15_CR27","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF00196725","volume":"4","author":"C.P. Schnorr","year":"1991","unstructured":"Schnorr, C.P.: Efficient Signature Generation by Smart Cards. Journal of Cryptology\u00a04(3), 161\u2013174 (1991)","journal-title":"Journal of Cryptology"},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Sarr, A.P., Elbaz\u2013Vincent, P., Bajard, J.C.: A Secure and Efficient Authenticated Diffie\u2013Hellman Protocol. To appear in Proc. of EuroPKI (2009)","DOI":"10.1007\/978-3-642-16441-5_6"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Sarr, A.P., Elbaz\u2013Vincent, P., Bajard, J.C.: A Secure and Efficient Authenticated Diffie\u2013Hellman Protocol (extended version). Cryptology ePrint Archive, Report 2009\/408 (2009)","DOI":"10.1007\/978-3-642-16441-5_6"},{"key":"15_CR30","unstructured":"Shoup V.: On Formal Models for Secure Key Exchange. Cryptology ePrint Archive, 1999\/012 (1999)"},{"key":"15_CR31","first-page":"283","volume-title":"Public Key Cryptography and Computational Number Theory","author":"E. Teske","year":"2001","unstructured":"Teske, E.: Square\u2013root Algorithms for the Discrete Logarithm Problem (A survey). In: Public Key Cryptography and Computational Number Theory, pp. 283\u2013301. Walter de Gruyter, Berlin (2001)"},{"issue":"3","key":"15_CR32","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/s10623-007-9159-1","volume":"46","author":"B. Ustaoglu","year":"2008","unstructured":"Ustaoglu, B.: Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS. Designs, Codes and Cryptography\u00a046(3), 329\u2013342 (2008)","journal-title":"Designs, Codes and Cryptography"},{"key":"15_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-04642-1_16","volume-title":"Provable Security","author":"B. Ustaoglu","year":"2009","unstructured":"Ustaoglu, B.: Comparing SessionStateReveal and EphemeralKeyReveal for Diffe\u2013Hellman protocols. In: Pieprzyk, J., Zhang, F. (eds.) ProvSec 2009. LNCS, vol.\u00a05848, pp. 183\u2013197. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Security and Cryptography for Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15317-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T03:09:24Z","timestamp":1685761764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15317-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153167","9783642153174"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15317-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}