{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:50:53Z","timestamp":1755838253057,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617709"},{"type":"electronic","value":"9783540706755"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61770-1_46","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:23:12Z","timestamp":1330294992000},"page":"351-364","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":42,"title":["Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches"],"prefix":"10.1007","author":[{"given":"Catherine A.","family":"Meadows","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Michael Burrows, Mart\u00edn Abadi, and Roger Needham. A Logic of Authentication. ACM Transactions in Computer Systems, 8(1):18\u201336, February 1990.","journal-title":"ACM Transactions in Computer Systems"},{"key":"23_CR2","unstructured":"Formal Systems (Europe) Ltd. Failures Divergence Refinement Users Manual and Tutorial, Version 1.4, January 1994."},{"key":"23_CR3","first-page":"55","volume-title":"What do We Mean by Entity Authentication?","author":"D. Gollmann","year":"1996","unstructured":"Dieter Gollmann. What do We Mean by Entity Authentication? In Proceedings of the 1996 IEEE Computer Society Symposium on Security and Privacy, pages 55\u201361. IEEE Computer Society Press, Los Alamitos, California, 1996."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Richard Kemmerer, Catherine Meadows, and Jonathan Millen. Three Systems for Cryptographic Protocol Analysis. Journal of Cryptology, 7(2), 1994.","DOI":"10.1007\/BF00197942"},{"issue":"1","key":"23_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0167-4048(92)90222-D","volume":"11","author":"D. Longley","year":"1992","unstructured":"D. Longley and S. Rigby. An Automatic Search for Security Flaws in Key Management Schemes. Computers and Security, 11(1):75\u201390, 1992.","journal-title":"Computers and Security"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G. Lowe","year":"1995","unstructured":"Gavin Lowe. An attack on the Needham-Schroeder public key protocol. Information Protessing Letters, 56:131\u2013133, 1995.","journal-title":"Information Protessing Letters"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Gavin Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In Proceedings of TACAS, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61042-1_43"},{"key":"23_CR9","unstructured":"Gavin Lowe. personal communication, Feb. 1996."},{"issue":"2","key":"23_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0743-1066(95)00095-X","volume":"26","author":"C. Meadows","year":"1996","unstructured":"Catherine Meadows. The NRL Protocol Analyzer: An overview. Journal of Logic Programming, 26(2):113\u2013131, February 1996.","journal-title":"Journal of Logic Programming"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"J. K. Millen, S. C. Clark, and S. B. Freedman. The Interrogator: Protocol Security Analysis. IEEE Transactions on Software Engineering, SE-13(2), 1987.","DOI":"10.1109\/TSE.1987.233151"},{"issue":"12","key":"23_CR12","doi-asserted-by":"crossref","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"R. M. Needham","year":"1978","unstructured":"R. M. Needham and M. D. Schroeder. Using Encryption for Authentication in Large Networks of Computers. Communications of the ACM, 21(12):993\u2013999, December 1978.","journal-title":"Communications of the ACM"},{"key":"23_CR13","unstructured":"Einar Snekkenes. Formal Specification and Analysis of Cryptographic Protocols, PhD thesis, University of Oslo, May 1995."}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2014 ESORICS 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61770-1_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:02:26Z","timestamp":1640948546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61770-1_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617709","9783540706755"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61770-1_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}