{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:49Z","timestamp":1761597049592},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007081"},{"type":"electronic","value":"9783540365327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36532-x_22","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:34:36Z","timestamp":1193340876000},"page":"356-383","source":"Crossref","is-referenced-by-count":9,"title":["A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis"],"prefix":"10.1007","author":[{"given":"I.","family":"Cervesato","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Durgin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Lincoln","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Scedrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"22_CR1","unstructured":"Frederic Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov. A Formal Analysis of Some Properties of Kerberos 5 Using MSR. In Fifteenth Computer Security Foundations Workshop-CSFW-15, pages 175\u2013190, Cape Breton, NS, Canada, June 2002. IEEE Computer Society Press."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Iliano Cervesato, Nancy Durgin, Max I. Kanovich, and Andre Scedrov. Interpreting Strands in Linear Logic. In H. Veith, N. Heintze, and E. Clark, editors, 2000 Workshop on Formal Methods and Computer Security-FMCS\u201900, Chicago, IL, July 2000.","DOI":"10.21236\/ADA465155"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"[CDL+ 99] Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov. A meta-notation for protocol analysis. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop-CSFW\u201999, pages 55\u201369, Mordano, Italy, June 1999. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1999.779762"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Iliano Cervesato, Nancy A. Durgin, Patrick D. Lincoln, John C. Mitchell, and Andre Scedrov. Relating strands and multiset rewriting for security protocol analysis. In P. Syverson, editor, 13th IEEE Computer Security Foundations Workshop-CSFW\u201900, pages 35\u201351, Cambrige, UK, 3-5 July 2000. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.2000.856924"},{"key":"22_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-45116-1_18","volume-title":"Typed MSR: Syntax and Examples","author":"I. Cervesato","year":"2001","unstructured":"Iliano Cervesato. Typed MSR: Syntax and Examples. In V.I. Gorodetski, V.A. Skormin, and L.J. Popyack, editors, First International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security-MMM\u201901, pages 159\u2013177, St. Petersburg, Russia, May 2001. Springer-Verlag LNCS 2052."},{"key":"22_CR6","unstructured":"Nancy Durgin, Patrick Lincoln, John Mitchell, and Andre Scedrov. Undecidability of bounded security protocols. In N. Heintze and E. Clarke, editors, Proceedings of the Workshop on Formal Methods and Security Protocols-FMSP, Trento, Italy, July 1999. Extended version at \n                    ftp:\/\/ftp.cis.upenn.edu\/pub\/papers\/scedrov\/msr-long.ps."},{"key":"22_CR7","unstructured":"Grit Denker and Jonathan K. Millen. CAPSL Intermediate Language. In N. Heintze and E. Clarke, editors, Proceedings of the Workshop on Formal Methods and Security Protocols-FMSP, Trento, Italy, July 1999."},{"issue":"29","key":"22_CR8","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"2","author":"D. Dolev","year":"1983","unstructured":"Danny Dolev and Andrew C. Yao. On the security of public-key protocols. IEEE Transactions on Information Theory, 2(29):198\u2013208, 1983.","journal-title":"IEEE Transactions on Information Theory"},{"key":"22_CR9","unstructured":"F. Javier Thayer F\u00e1brega, Jonathan C. Herzog, and Joshua D. Guttman. Strand spaces: Why is a security protocol correct? In Proceedings of the 1998 IEEE Symposium on Security and Privacy, pages 160\u2013171, Oakland, CA, May 1998. IEEE Computer Society Press."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"F. Javier Thayer F\u00e1brega, Jonathan C. Herzog, and Joshua D. Guttman. Mixed strand spaces. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop-CSFW\u201999, pages 72\u201382, Mordano, Italy, June 1999. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1999.779763"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"A. Maneki. Honest functions and their application to the analysis of cryptographic protocols. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop-CSFW\u201999, pages 83\u201389, Mordano, Italy, June 1999. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1999.779764"},{"issue":"12","key":"22_CR12","doi-asserted-by":"publisher","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, 1978.","journal-title":"Communications of the ACM"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Dawn Song. Athena: a new efficient automatic checker for security protocol analysis. In Proceedings of the Twelth IEEE Computer Security Foundations Workshop, pages 192\u2013202, Mordano, Italy, June 1999. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1999.779773"}],"container-title":["Lecture Notes in Computer Science","Software Security \u2014 Theories and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36532-X_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T14:06:55Z","timestamp":1551017215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36532-X_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007081","9783540365327"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36532-x_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}