{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:54:59Z","timestamp":1725519299940},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540883869"},{"type":"electronic","value":"9783540883876"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88387-6_32","type":"book-chapter","created":{"date-parts":[[2008,10,10]],"date-time":"2008-10-10T05:42:45Z","timestamp":1223617365000},"page":"374-385","source":"Crossref","is-referenced-by-count":1,"title":["Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol"],"prefix":"10.1007","author":[{"given":"Guoqiang","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mizuhito","family":"Ogawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","first-page":"178","volume-title":"Proceedings of the S&P 1993","author":"T.Y. Woo","year":"1993","unstructured":"Woo, T.Y., Lam, S.S.: A Semantic Model for Authentication Protocols. In: Proceedings of the S&P 1993, pp. 178\u2013194. IEEE Computer Society Press, Los Alamitos (1993)"},{"key":"32_CR2","first-page":"36","volume-title":"Proceedings of the CCS 1997","author":"M. Abadi","year":"1997","unstructured":"Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. In: Proceedings of the CCS 1997, pp. 36\u201347. ACM Press, New York (1997)"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1007\/3-540-48224-5_55","volume-title":"Automata, Languages and Programming","author":"M. Boreale","year":"2001","unstructured":"Boreale, M.: Symbolic Trace Analysis of Cryptographic Protocols. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 667\u2013681. Springer, Heidelberg (2001)"},{"key":"32_CR4","unstructured":"Bella, G.: Inductive Verification of Cryptographic Protocols. PhD thesis, University of Cambridge (2000)"},{"key":"32_CR5","first-page":"57","volume-title":"Proceedings of the STOC 1995","author":"M. Bellare","year":"1995","unstructured":"Bellare, M., Rogaway, P.: Provably Secure Session Key Distribution: The Three Party Case. In: Proceedings of the STOC 1995, pp. 57\u201366. ACM Press, New York (1995)"},{"key":"32_CR6","first-page":"84","volume-title":"Proceedings of the CSFW 1997","author":"L.C. Paulson","year":"1997","unstructured":"Paulson, L.C.: Mechanized Proofs for a Recursive Authentication Protocol. In: Proceedings of the CSFW 1997, pp. 84\u201395. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"32_CR7","first-page":"50","volume":"48","author":"G. Li","year":"2007","unstructured":"Li, G., Ogawa, M.: On-the-Fly Model Checking of Security Protocols and Its Implementation by Maude. IPSJ Transactions on Programming\u00a048, 50\u201375 (2007)","journal-title":"IPSJ Transactions on Programming"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/978-3-540-75596-8_36","volume-title":"Automated Technology for Verification and Analysis","author":"G. Li","year":"2007","unstructured":"Li, G., Ogawa, M.: On-the-Fly Model Checking of Fair Non-repudiation Protocols. In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 511\u2013522. Springer, Heidelberg (2007)"},{"key":"32_CR9","unstructured":"Li, G.: On-the-Fly Model Checking of Security Protocols. PhD thesis, Japan Advanced Institute of Science and Technology (2008)"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Li, G., Ogawa, M.: Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. Technical Report IS-RR-2008-002, Japan Advanced Institute of Science and Technology (2008)","DOI":"10.1007\/978-3-540-88387-6_32"},{"key":"32_CR11","volume-title":"The Pi-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2003","unstructured":"Sangiorgi, D., Walker, D.: The Pi-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2003)"},{"key":"32_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-61042-1_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G. Lowe","year":"1996","unstructured":"Lowe, G.: Breaking and Fixing the Needham-Schroeder Public-key Using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 147\u2013166. Springer, Heidelberg (1996)"},{"key":"32_CR13","unstructured":"Bull, J.A., Otway, D.J.: The Authentication Protocol. Technical report, Defence Research Agency, UK (1997)"},{"key":"32_CR14","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincolnand, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2) (2005)"},{"key":"32_CR15","first-page":"31","volume-title":"Proceedings of the CSFW 1997","author":"G. Lowe","year":"1997","unstructured":"Lowe, G.: A Hierarchy of Authentication Specifications. In: Proceedings of the CSFW 1997, pp. 31\u201343. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"32_CR16","unstructured":"Bryans, J., Schneider, S.: CSP, PVS and a Recursive Authentication Protocol. In: Proceedings of the DIMACS FVSP 1997 (1997)"},{"issue":"3","key":"32_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s10207-004-0055-7","volume":"4","author":"D.A. Basin","year":"2005","unstructured":"Basin, D.A., M\u00f6dersheim, S., Vigan\u00f2, L.: OFMC: A Symbolic Model Checker for Security Protocols. International Journal of Information Security\u00a04(3), 181\u2013208 (2005)","journal-title":"International Journal of Information Security"},{"key":"32_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-540-24749-4_34","volume-title":"STACS 2004","author":"R. K\u00fcsters","year":"2004","unstructured":"K\u00fcsters, R., Wilke, T.: Automata-based Analysis of Recursive Cryptographic Protocols. In: Diekert, V., Habib, M. (eds.) STACS 2004. LNCS, vol.\u00a02996, pp. 382\u2013393. Springer, Heidelberg (2004)"},{"key":"32_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/11539452_19","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"T. Truderung","year":"2005","unstructured":"Truderung, T.: Selecting Theories and Recursive Protocols. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 217\u2013232. Springer, Heidelberg (2005)"},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0020-0190(97)00180-4","volume":"65","author":"P. Ryan","year":"1998","unstructured":"Ryan, P., Schneider, S.: An Attack on a Recursive Authentication Protocol: A Cautionary Tale. Information Processing Letters\u00a065, 7\u201310 (1998)","journal-title":"Information Processing Letters"},{"key":"32_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1007\/978-3-540-70918-3_55","volume-title":"STACS 2007","author":"R. K\u00fcsters","year":"2007","unstructured":"K\u00fcsters, R., Truderung, T.: On the Automatic Analysis of Recursive Security Protocols with XOR. In: Thomas, W., Weil, P. (eds.) STACS 2007. LNCS, vol.\u00a04393, pp. 646\u2013657. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88387-6_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T14:45:29Z","timestamp":1557845129000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88387-6_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540883869","9783540883876"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88387-6_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}