{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:40:04Z","timestamp":1738363204370,"version":"3.35.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. & Technol."],"published-print":{"date-parts":[[2002,7]]},"DOI":"10.1007\/bf02943285","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T07:10:30Z","timestamp":1221203430000},"page":"450-463","source":"Crossref","is-referenced-by-count":6,"title":["An attack-finding algorithm for security protocols"],"prefix":"10.1007","volume":"17","author":[{"given":"Dongxi","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyong","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingcai","family":"Bai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"BF02943285_CR1","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe G. An attack on the Needham-Schroeder public key authentication protocol.Information Processing Letters, 1995, 56(3): 131\u2013136.","journal-title":"Information Processing Letters"},{"issue":"8","key":"BF02943285_CR2","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/S0140-3664(99)00030-4","volume":"22","author":"S Gritzalis","year":"1999","unstructured":"Gritzalis S, Spinellis D, Georgiadis P. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification.Computer Communications 1999, 22(8): 695\u2013707.","journal-title":"Computer Communications"},{"issue":"1","key":"BF02943285_CR3","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M Burrows","year":"1990","unstructured":"Burrows M, Abadi M, Needham R. A logic of authentication.ACM Transactions on Computer Systems, 1990, 8(1): 18\u201336.","journal-title":"ACM Transactions on Computer Systems"},{"key":"BF02943285_CR4","doi-asserted-by":"crossref","unstructured":"Gong L, Needham R, Yahalom R. Reasoning about belief in cryptographic protocols. InProceedings of the IEEE 1990 Symp. on Security and Privacy, Oakland, California, May, 1990, pp.234\u2013248.","DOI":"10.1109\/RISP.1990.63854"},{"key":"BF02943285_CR5","unstructured":"Kindred D. Theory generation for security protocols [Dissertation]. Carnegie Mellon University, 1999."},{"key":"BF02943285_CR6","doi-asserted-by":"crossref","unstructured":"Brackin S. Automatically detecting most vulnerabilities in cryptographic protocols. In the DARPA Information. Survivability Conference and Exposition, 2000, 1: 222\u2013236.","DOI":"10.1109\/DISCEX.2000.824981"},{"key":"BF02943285_CR7","unstructured":"Mitchell J C, Mitchell M, Stern U. Automated analysis of cryptographic protocols, using Mur\u00f8 InProceedings of the 1997 IEEE Symposium on Security and Privacy, IEEE Computer Society Press, 1997, pp.141\u2013151."},{"key":"BF02943285_CR8","doi-asserted-by":"crossref","unstructured":"Clarke E M, Jha S, Marrero W. Using state space exploration and a natural deduction style message derivation engine to verify security protocols. InProceedings of the IFIP Working, Conference on Programming Concepts and Methods, New York, 1998.","DOI":"10.1007\/978-0-387-35358-6_10"},{"key":"BF02943285_CR9","doi-asserted-by":"crossref","unstructured":"Lowe G. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. InTools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1055, Springer-Verlag, 1996, pp.147\u2013166.","DOI":"10.1007\/3-540-61042-1_43"},{"key":"BF02943285_CR10","unstructured":"Song D. Athena: A new efficient automated checker for security protocol analysis. InProceedings of 12th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, June, 1999, pp.192\u2013202."},{"key":"BF02943285_CR11","doi-asserted-by":"crossref","unstructured":"Paulson L. Proving properties of security protocols by induction. InProceedings of the 1997 IEEE Symposium on Research in Security and Privacy, 1997, pp.70\u201383.","DOI":"10.1109\/CSFW.1997.596788"},{"key":"BF02943285_CR12","unstructured":"Thayer J F, Herzog J C, Guttman J D. Strand spaces: Proving security protocols correct.Journal of Computer Security, 1999."},{"key":"BF02943285_CR13","unstructured":"Thayer J F, Herzog J C, Guttman J D. Strand space: Why is a security protocol correct? InProceedings of 1998 IEEE Symposium on Security and Privacy, 1998, pp.160\u2013171."},{"key":"BF02943285_CR14","first-page":"178","volume-title":"Proc. 14th IEEE Symposium on Research in Security and Privacy","author":"T Woo","year":"1993","unstructured":"Woo T, Lam S. A semantic model for authentication protocols. InProc. 14th IEEE Symposium on Research in Security and Privacy, Oakland: IEEE Computer Society Press, 1993, pp.178\u2013194."},{"key":"BF02943285_CR15","unstructured":"Clark J, Jacob, J. A survey of authentication protocol literature. Available at: http:\/\/www.cs.york.ac.uk\/-jac\/papers\/drareviewps.ps, 1997."},{"key":"BF02943285_CR16","unstructured":"Thayer J F, Herzog J C, Guttman J D. Strand space pictures InWorkshop on Formal Methods and Security Protocols, Indianapolis, Indiana, 1998."},{"key":"BF02943285_CR17","unstructured":"Ding Y. A Lazy Approach to Model Checking Authentication Protocols with \u201cBlack Boxes\u201d. Available at: http:\/\/www.comp.nus.edu.sg\/~dingyq."},{"key":"BF02943285_CR18","unstructured":"Mitchell J C, Shmatikov V, Stern U. Finite-state analysis of SSL 3.0. InSeventh USENIX Security Symposium, San Antonio, 1998, pp.201\u2013216."},{"issue":"1","key":"BF02943285_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/32.481513","volume":"22","author":"M Abadi","year":"1996","unstructured":"Abadi M, Needham R. Prudent engineering practice for cryptographic protocols.IEEE Transactions on Software Engineering, 1996 22(1): 5\u201315.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02943285_CR20","doi-asserted-by":"crossref","unstructured":"Hopper N J, Seshia S A, Wing J M. Combining theory generation and model checking for security protocol analysis. Technical Report CMU-CS-00-107, Carnegie Mellon University, 2000.","DOI":"10.21236\/ADA374554"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943285.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02943285\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02943285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T22:26:26Z","timestamp":1738362386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02943285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["BF02943285"],"URL":"https:\/\/doi.org\/10.1007\/bf02943285","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"type":"print","value":"1000-9000"},{"type":"electronic","value":"1860-4749"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}