{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:41:10Z","timestamp":1774946470438,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540252368","type":"print"},{"value":"9783540322757","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32275-7_24","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T21:14:41Z","timestamp":1292879681000},"page":"363-379","source":"Crossref","is-referenced-by-count":11,"title":["A Formalization of Off-Line Guessing for Security Protocol Analysis"],"prefix":"10.1007","author":[{"given":"Paul Hankes","family":"Drielsma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"M\u00f6dersheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-27836-8_7","volume-title":"Automata, Languages and Programming","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 46\u201358. Springer, Heidelberg (2004)"},{"key":"24_CR2","volume-title":"Proc. POPL 2001","author":"M. Abadi","year":"2004","unstructured":"Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: Proc. POPL 2001, ACM Press, New York (2004)"},{"key":"24_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-39650-5_15","volume-title":"Computer Security \u2013 ESORICS 2003","author":"D. Basin","year":"2003","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: An On-The-Fly Model-Checker for Security Protocol Analysis. In: Snekkenes, E., Gollmann, D. (eds.) ESORICS 2003. LNCS, vol.\u00a02808, pp. 253\u2013270. Springer, Heidelberg (2003)"},{"key":"24_CR5","volume-title":"Proc. CCS 2003","author":"D. Basin","year":"2003","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols. In: Proc. CCS 2003, ACM Press, New York (2003)"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Basin, D., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A Symbolic Model-Checker for Security Protocols. International Journal of Information Security (2004)","DOI":"10.1007\/s10207-004-0055-7"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/3-540-45539-6_11","volume-title":"Advances in Cryptology - EUROCRYPT 2000","author":"M. Bellare","year":"2000","unstructured":"Bellare, M., Pointcheval, D., Rogaway, P.: Authenticated key exchange secure against dictionary attacks. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol.\u00a01807, p. 139. Springer, Heidelberg (2000)"},{"key":"24_CR8","volume-title":"Proc. IEEE Symposium on Security and Privacy 1992","author":"S.M. Bellovin","year":"1992","unstructured":"Bellovin, S.M., Merritt, M.: Encrypted key exchange: Password-based protocols secure against dictionary attacks. In: Proc. IEEE Symposium on Security and Privacy 1992, IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"24_CR9","volume-title":"Proc. CCS 2003","author":"E. Bresson","year":"2003","unstructured":"Bresson, E., Chevassut, O., Pointcheval, D.: Security proofs for an efficient password-based key exchange. In: Proc. CCS 2003, ACM Press, New York (2003)"},{"key":"24_CR10","unstructured":"Cohen, E.: Proving cryptographic protocols safe from guessing attacks. In: Proc. Foundations of Computer Security 2002 (2002)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Corin, R., Doumen, J., Etalle, S.: Analysing password protocol security against off-line dictionary attacks. In: Proc. WISP 2004. Electronic Notes in Theoretical Computer Science (2004)","DOI":"10.1016\/j.entcs.2004.10.007"},{"key":"24_CR12","unstructured":"Corin, R., Malladi, S., Alves-Foss, J., Etalle, S.: Guess what? Here is a new tool that finds some new guessing attacks (extended abstract). In: Proc. WITS 2003, Dip. Scienze dell\u2019Informazione, Universit\u00e0 di Bologna, Italy (2003)"},{"key":"24_CR13","unstructured":"Delaune, S., Jacquemard, F.: A theory of guessing attacks and its complexity. Research Report LSV-04-1, Lab. Specification and Verification, ENS de Cachan, France (2004)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory\u00a02(29) (1983)","DOI":"10.1109\/TIT.1983.1056650"},{"issue":"5","key":"24_CR15","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1109\/49.223865","volume":"11","author":"L. Gong","year":"1993","unstructured":"Gong, L., Lomas, T.M.A., Needham, R.M., Saltzer, J.H.: Protecting poorly chosen secrets from guessing attacks. IEEE Journal on Selected Areas in Communications\u00a011(5), 648\u2013656 (1993)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Hamzeh, K., Pall, G., Verthein, W., Taarud, J., Little, W., Zorn, G.: RFC 2637: Point-to-Point Tunneling Protocol (July 1999) Status: Informational","DOI":"10.17487\/rfc2637"},{"key":"24_CR17","unstructured":"Lowe, G.: Analysing Protocols Subject to Guessing Attacks. In: Proc. WITS 2002 (2002)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Lowe, G.: Analysing Protocols Subject to Guessing Attacks. Journal of Computer Security\u00a012(1) (2004)","DOI":"10.3233\/JCS-2004-12104"},{"issue":"11","key":"24_CR19","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1145\/359168.359172","volume":"22","author":"R. Morris","year":"1979","unstructured":"Morris, R., Thompson, K.: Password security: A case history. Communications of the ACM\u00a022(11), 594 (1979)","journal-title":"Communications of the ACM"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-46701-7_17","volume-title":"Secure Networking - CQRE (Secure) \u201999","author":"B. Schneier","year":"1999","unstructured":"Schneier, B., Mudge, Wagner, D.: Cryptanalysis of Microsoft\u2019s PPTP authentication extensions (MS-CHAPv2). In: Baumgart, R. (ed.) CQRE 1999. LNCS, vol.\u00a01740, p. 192. Springer, Heidelberg (1999)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Zorn, G.: RFC 2759: Microsoft PPP CHAP Extensions, Version 2 (January 2000) Status: Informational","DOI":"10.17487\/rfc2759"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32275-7_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:35:11Z","timestamp":1605760511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32275-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540252368","9783540322757"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32275-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}