{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T10:12:08Z","timestamp":1773223928269,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4064,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1016\/s0304-3975(01)00139-6","type":"journal-article","created":{"date-parts":[[2002,10,11]],"date-time":"2002-10-11T11:37:18Z","timestamp":1034336238000},"page":"333-380","source":"Crossref","is-referenced-by-count":86,"title":["Authentication tests and the structure of bundles"],"prefix":"10.1016","volume":"283","author":[{"given":"Joshua D.","family":"Guttman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.Javier","family":"Thayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00139-6_BIB1","doi-asserted-by":"crossref","unstructured":"M. Burrows, M. Abadi, R. Needham, A logic of authentication, Proc. Roy. Soc. Ser. A 426 (1871) 233\u2013271; also appeared as SRC Research Report 39 and, in a shortened form, in ACM Trans. Computer Systems 8 (1) (1990) 18\u201336.","DOI":"10.1145\/77648.77649"},{"issue":"3","key":"10.1016\/S0304-3975(01)00139-6_BIB2","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/182110.182112","article-title":"Optimal privacy and authentication on a portable communications system","volume":"28","author":"Carlsen","year":"1994","journal-title":"Oper. Systems Rev."},{"key":"10.1016\/S0304-3975(01)00139-6_BIB3","doi-asserted-by":"crossref","unstructured":"I. Cervesato, N.A. Durgin, P.D. Lincoln, J.C. Mitchell, A. Scedrov, A meta-notation for protocol analysis, in: Proc. 12th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring, MD, 1999.","DOI":"10.1109\/CSFW.1999.779762"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB4","unstructured":"J. Clark, J. Jacob, A survey of authentication protocol literature: Version 1.0, Department of Computer Science, University of York, 1997."},{"key":"10.1016\/S0304-3975(01)00139-6_BIB5","doi-asserted-by":"crossref","unstructured":"E. Clarke, S. Jha, W. Marrero, Using state space exploration and a natural deduction style message derivation engine to verify security protocols, in: Proc. IFIP Working Conf. on Programming Concepts and Methods (PROCOMET), 1998.","DOI":"10.1007\/978-0-387-35358-6_10"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB6","doi-asserted-by":"crossref","unstructured":"T. Dierks, C. Allen, The TLS protocol, RFC 2246, 1999.","DOI":"10.17487\/rfc2246"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB7","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","article-title":"On the security of public-key protocols","volume":"29","author":"Dolev","year":"1983","journal-title":"IEEE Trans. Inform. Theory"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB8","doi-asserted-by":"crossref","unstructured":"A. Durante, R. Focardi, R. Gorrieri, CVS: a compiler for the analysis of cryptographic protocols in: 12th Computer Security Foundations Workshop Proceedings, IEEE Computer Society Press, Silver Spring, MD, 1999, pp. 203\u2013242.","DOI":"10.1109\/CSFW.1999.779774"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB9","doi-asserted-by":"crossref","unstructured":"J.D. Guttman, F.J. Thayer F\u00e1brega, Authentication tests, in: Proc. 2000 IEEE Symp. on Security and Privacy, IEEE Computer Society Press, Silver Spring, MD, May 2000.","DOI":"10.1109\/SECPRI.2000.848448"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB10","doi-asserted-by":"crossref","unstructured":"J.D. Guttman, F.J. Thayer F\u00e1brega, Protocol independence through disjoint encryption, in: Proc. 13th Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring, MD, July 2000.","DOI":"10.1109\/CSFW.2000.856923"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB11","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0020-0190(95)00177-E","article-title":"Two attacks on Neuman\u2013Stubblebine authentication protocols","volume":"53","author":"Hwang","year":"1995","journal-title":"Inform. Process. Lett."},{"issue":"3","key":"10.1016\/S0304-3975(01)00139-6_BIB12","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","article-title":"An attack on the Needham\u2013Schroeder public key authentication protocol","volume":"56","author":"Lowe","year":"1995","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(01)00139-6_BIB13","doi-asserted-by":"crossref","unstructured":"G. Lowe, Breaking and fixing the Needham\u2013Schroeder public-key protocol using FDR, in: Proc. TACAS, Lecture Notes in Computer Science, Vol. 1055, Springer Berlin 1996, pp. 147\u2013166.","DOI":"10.1007\/3-540-61042-1_43"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB14","doi-asserted-by":"crossref","unstructured":"G. Lowe, Casper: a compiler for the analysis of security protocols, in: 10th Computer Security Foundations Workshop Proc. IEEE Computer Society Press, Silver Spring, MD, 1997, pp. 18\u201330.","DOI":"10.1109\/CSFW.1997.596779"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB15","doi-asserted-by":"crossref","unstructured":"G. Lowe, A hierarchy of authentication specifications, in: 10th Computer Security Foundations Workshop Proc. IEEE Computer Society Press, Silver Spring, MD, 1997, pp. 31\u201343.","DOI":"10.1109\/CSFW.1997.596782"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB16","doi-asserted-by":"crossref","unstructured":"W. Marrero, E. Clarke, S. Jha, A model checker for authentication protocols, in: C. Meadows, H. Orman (Eds.), Proc. DIMACS Workshop on Design and Verification of Security Protocols, DIMACS, Rutgers University, 1997.","DOI":"10.21236\/ADA327281"},{"issue":"12","key":"10.1016\/S0304-3975(01)00139-6_BIB17","doi-asserted-by":"crossref","DOI":"10.1145\/359657.359659","article-title":"Using encryption for authentication in large networks of computers","volume":"21","author":"Needham","year":"1978","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/S0304-3975(01)00139-6_BIB18","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/155848.155852","article-title":"A note on the use of timestamps as nonces","volume":"27","author":"Neuman","year":"1993","journal-title":"Oper. Systems Rev."},{"issue":"1","key":"10.1016\/S0304-3975(01)00139-6_BIB19","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/24592.24594","article-title":"Efficient and timely mutual authentication","volume":"21","author":"Otway","year":"1987","journal-title":"Oper. Systems Rev."},{"key":"10.1016\/S0304-3975(01)00139-6_BIB20","doi-asserted-by":"crossref","unstructured":"L.C. Paulson, Proving properties of security protocols by induction, in: 10th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring, MD, 1997.","DOI":"10.1109\/CSFW.1997.596788"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB21","doi-asserted-by":"crossref","unstructured":"A. Perrig, D.X. Song, Looking for diamonds in the desert: extending automatic protocol generation to three-party authentication and key agreement protocols, in: Proc. 13th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring, MD, 2000.","DOI":"10.1109\/CSFW.2000.856926"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB22","unstructured":"D. Prawitz, Natural Deduction: A Proof-Theoretic Study, Almqvist and Wiksel, Stockholm, 1965."},{"key":"10.1016\/S0304-3975(01)00139-6_BIB23","doi-asserted-by":"crossref","unstructured":"D.X. Song, Athena: a new efficient automated checker for security protocol analysis, in: Proc. 12th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring MD, 1999.","DOI":"10.1109\/CSFW.1999.779773"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB24","doi-asserted-by":"crossref","unstructured":"M. Tatebayashi, N. Matsuzaki, D. Newman, Key distribution protocol for digital mobile communication systems, in: G. Brassard (Ed.), Advances in Cryptology: CRYPTO \u201989, Lecture Notes in Computer Science, Vol. 435, Springer, Berlin, 1990, pp. 324\u2013331.","DOI":"10.1007\/0-387-34805-0_30"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB25","doi-asserted-by":"crossref","unstructured":"F.J. Thayer F\u00e1brega, J.C. Herzog, J.D. Guttman, Mixed strand spaces, in: Proc. 12th IEEE Computer Security Foundations Workshop, IEEE Computer Society Press, Silver Spring, MD, 1999.","DOI":"10.1109\/CSFW.1999.779763"},{"issue":"2\/3","key":"10.1016\/S0304-3975(01)00139-6_BIB26","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-1999-72-304","article-title":"Strand spaces: proving security protocols correct","volume":"7","author":"Thayer F\u00e1brega","year":"1999","journal-title":"J. Comput. Security"},{"issue":"1","key":"10.1016\/S0304-3975(01)00139-6_BIB27","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.108052","article-title":"Authentication for distributed systems","volume":"25","author":"Woo","year":"1992","journal-title":"Computer"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB28","doi-asserted-by":"crossref","unstructured":"T.Y.C. Woo, S.S. Lam, Verifying authentication protocols: Methodology and example, in: Proc. Internat. Conf. on Network Protocols, 1993. Formal Eaves dropping and its Computational Interpretation Mart\u0131\u0301n Abadi, Jan J\u00fcrjens, 2000, submitted for publication.","DOI":"10.1109\/ICNP.1993.340904"},{"key":"10.1016\/S0304-3975(01)00139-6_BIB29","doi-asserted-by":"crossref","unstructured":"T.Y.C. Woo, S.S. Lam, A lesson on authentication protocol design, Oper. Systems Rev. (1994) 24\u201337.","DOI":"10.1145\/182110.182113"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501001396?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501001396?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,5]],"date-time":"2020-03-05T14:12:58Z","timestamp":1583417578000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501001396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0304397501001396"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00139-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}