A comparison between strand spaces and multiset rewriting for security protocol analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2609, Issue , 2003, Pages 356-383

  Cervesato, I ^a   Durgin, N ^b   Lincoln, P ^c   Mitchell, J ^b   Scedrov, A ^d  

^a ITT INDUSTRIES   (United States)

^b Stanford University   (United States)

^c SRI INTERNATIONAL   (United States)

^d UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

DOLEV-YAO MODEL; EXISTENTIAL QUANTIFICATIONS; FINITE LENGTH; FORMAL ANALYSIS OF SECURITY PROTOCOLS; MULTISET REWRITING; PRIVATE KEY; SECURITY PROTOCOL ANALYSIS; STRAND SPACE;

NETWORK SECURITY;

EID: 35248852076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36532-x_22     Document Type: Review

References (13)

1. 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-190, Cape Breton, NS, Canada, June 2002. IEEE Computer Society Press.
2. 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'00, Chicago, IL, July 2000.
3. 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'99, pages 55-69, Mordano, Italy, June 1999. IEEE Computer Society Press.
4. 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'00, pages 35-51, Cambrige, UK, 3-5 July 2000. IEEE Computer Society Press.
5. 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'01, pages 159-177, St. Petersburg, Russia, May 2001. Springer-Verlag LNCS 2052.
6. 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 ftp://ftp.cis.upenn.edu/pub/papers/scedrov/msr-long.ps.
7. 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.
8. Danny Dolev and Andrew C. Yao. On the security of public-key protocols. IEEE Transactions on Information TIieory, 2(29): 198-208, 1983.
9. F. Javier Thayer Fábrega, 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-171, Oakland, CA, May 1998. IEEE Computer Society Press.
10. F. Javier Thayer Fábrega, Jonathan C. Herzog, and Joshua D. Guttman. Mixed strand spaces. In P. Syverson, editor, Proceedings of the 12th IEEE Computer Security Foundations Workshop - CSFW'99, pages 72-82, Mordano, Italy, June 1999. IEEE Computer Society Press.
11. 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'99, pages 83-89, Mordano, Italy, June 1999. IEEE Computer Society Press.
12. R.M. Needham and M.D. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM, 21(12):993-999, 1978.
13. Dawn Song. Athena: a new efficient automatic checker for security protocol analysis. In Proceedings of the Twelth IEEE Computer Security Foundations Workshop, pages 192-202, Mordano, Italy, June 1999. IEEE Computer Society Press.