{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T23:56:26Z","timestamp":1769298986139,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319112114","type":"print"},{"value":"9783319112121","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11212-1_16","type":"book-chapter","created":{"date-parts":[[2014,8,14]],"date-time":"2014-08-14T20:36:45Z","timestamp":1408048605000},"page":"277-294","source":"Crossref","is-referenced-by-count":7,"title":["Modelling Time for Authenticated Key Exchange Protocols"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Schwenk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"16_CR2","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. 3rd edn. Addison-Wesley (2006)"},{"key":"16_CR3","unstructured":"Hofheinz, D., Shoup, V.: Gnuc: A new universal composability framework. Cryptology ePrint Archive, Report 2011\/303 (2011), http:\/\/eprint.iacr.org\/"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Mills, D., Martin, J., Burbank, J., Kasch, W.: Network Time Protocol Version 4: Protocol and Algorithms Specification. RFC 5905 (Proposed Standard) (June 2010)","DOI":"10.17487\/rfc5905"},{"key":"16_CR5","series-title":"IFIP","first-page":"683","volume-title":"Towards the E-Society","author":"E. Magkos","year":"2001","unstructured":"Magkos, E., Burmester, M., Chrissikopoulos, V.: Receipt-freeness in large-scale elections without untappable channels. In: Schmid, B., Stanoevska-Slabeva, K., Tschammer, V. (eds.) Towards the E-Society. IFIP, vol.\u00a0202, pp. 683\u2013694. Springer, Boston (2001)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"M\u2019Raihi, D., Bellare, M., Hoornaert, F., Naccache, D., Ranen, O.: HOTP: An HMAC-Based One-Time Password Algorithm. RFC 4226 (Informational) (December 2005)","DOI":"10.17487\/rfc4226"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"M\u2019Raihi, D., Machani, S., Pei, M., Rydell, J.: TOTP: Time-Based One-Time Password Algorithm. RFC 6238 (Informational) (May 2011)","DOI":"10.17487\/rfc6238"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-01957-9_2","volume-title":"Applied Cryptography and Network Security","author":"C.J.F. Cremers","year":"2009","unstructured":"Cremers, C.J.F.: Session-state reveal is stronger than ephemeral key reveal: Attacking the naxos authenticated key exchange protocol. In: Abdalla, M., Pointcheval, D., Fouque, P.-A., Vergnaud, D. (eds.) ACNS 2009. LNCS, vol.\u00a05536, pp. 20\u201333. Springer, Heidelberg (2009)"},{"key":"16_CR9","first-page":"604","volume":"2013","author":"J. Schwenk","year":"2013","unstructured":"Schwenk, J.: Modelling time, or a step towards reduction-based security proofs for otp and kerberos. IACR Cryptology ePrint Archive\u00a02013, 604 (2013)","journal-title":"IACR Cryptology ePrint Archive"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Massias, H., Avila, X.S., Quisquater, J.J.: Timestamps: Main issues on their use and implementation. In: WETICE, pp. 178\u2013183. IEEE Computer Society (1999)","DOI":"10.1109\/ENABL.1999.805196"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Haber, S., Massias, H.: Time-stamping. In: van Tilborg, H.C.A., Jajodia, S. (eds.) Encyclopedia of Cryptography and Security, 2nd edn., pp. 1299\u20131303. Springer (2011)","DOI":"10.1007\/978-1-4419-5906-5_136"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s00145-008-9035-9","volume":"22","author":"T. Moran","year":"2009","unstructured":"Moran, T., Shaltiel, R., Ta-Shma, A.: Non-interactive timestamping in the bounded-storage model. J. Cryptology\u00a022(2), 189\u2013226 (2009)","journal-title":"J. Cryptology"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Buldas, A., Niitsoo, M.: Optimally tight security proofs for hash-then-publish time-stamping. In: [27], pp. 318\u2013335","DOI":"10.1007\/978-3-642-14081-5_20"},{"key":"16_CR14","unstructured":"Liu, Z., Lu, M.: Authentication protocols with time stamps: \u2013 encryption algorithm dependent. In: Arabnia, H.R. (ed.) International Conference on Internet Computing, pp. 81\u201386. CSREA Press (2006)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Paterson, K.G., Stebila, D.: One-time-password-authenticated key exchange. In: [27], pp. 264\u2013281","DOI":"10.1007\/978-3-642-14081-5_17"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Bellare, M., Rogaway, P.: Provably secure session key distribution: The three party case, pp. 57\u201366 (1995)","DOI":"10.1145\/225058.225084"},{"key":"16_CR17","unstructured":"Manulis, M.: Provably secure group key exchange (2007)"},{"key":"16_CR18","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-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":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02384-2_15","volume-title":"Progress in Cryptology \u2013 AFRICACRYPT 2009","author":"M. Barbosa","year":"2009","unstructured":"Barbosa, M., Farshim, P.: Security analysis of standard authentication and key agreement protocols utilising timestamps. In: Preneel, B. (ed.) AFRICACRYPT 2009. LNCS, vol.\u00a05580, pp. 235\u2013253. Springer, Heidelberg (2009)"},{"issue":"2","key":"16_CR20","first-page":"99","volume":"E69-E","author":"T. Matsumoto","year":"1986","unstructured":"Matsumoto, T., Takashima, Y., Imai, H.: On seeking smart public-key-distribution systems. IEICE Transactions\u00a0E69-E(2), 99\u2013106 (1986)","journal-title":"IEICE Transactions"},{"key":"16_CR21","unstructured":"Menezes, A., Qu, M., Vanstone, S.A.: Some new key agreement protocols providing mutual implicit authentication. In: Second Workshop on Selected Areas in Cryptography, SAC 1995 (1995)"},{"issue":"2","key":"16_CR22","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.A., Vanstone, S.A.: An efficient protocol for authenticated key agreement. Des. Codes Cryptography\u00a028(2), 119\u2013134 (2003)","journal-title":"Des. Codes Cryptography"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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-of-exponent assumptions and 3-round zero-knowledge protocols. In: Franklin, M. (ed.) CRYPTO 2004. LNCS, vol.\u00a03152, pp. 273\u2013289. Springer, Heidelberg (2004)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 high-performance secure diffie-hellman protocol. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol.\u00a03621, pp. 546\u2013566. Springer, Heidelberg (2005)"},{"key":"16_CR25","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-based proof models for key establishment protocols. In: Roy, B. (ed.) ASIACRYPT 2005. LNCS, vol.\u00a03788, pp. 585\u2013604. Springer, Heidelberg (2005)"},{"key":"16_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 high-performance secure Diffie-Hellman protocol. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol.\u00a03621, pp. 546\u2013566. Springer, Heidelberg (2005)"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Information Security and Privacy","year":"2010","unstructured":"Steinfeld, R., Hawkes, P. (eds.): ACISP 2010. LNCS, vol.\u00a06168. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2014"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11212-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T06:07:13Z","timestamp":1746338833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11212-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112114","9783319112121"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11212-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}