Data access specification and the most powerful symbolic attacker in MSR

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

Volumn 2609, Issue , 2003, Pages 384-416

  Cervesato, Iliano ^a  

^a ITT INDUSTRIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DATA ACCESS; DOLEV-YAO INTRUDERS; FIXED NUMBERS; MESSAGE TRANSFORMATION; MULTISET REWRITING; SECURITY PROTOCOLS; SPECIFICATION FRAMEWORKS; SYMBOLIC VERIFICATION;

NETWORK SECURITY;

EID: 35248898859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36532-x_23     Document Type: Article

References (28)

1. David Aspinall and Adriana Compagnoni. Subtyping dependent types. In E. Clarke, editor, Proceedings of the 11th Annual Symposium on Logic in Computer Science, pages 86-97, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press.
2. M. Abadi and A. Gordon. A calculus for cryptographic protocols: the spi calculus. Information and Computation, 148(1):1-70, 1999.
3. Martin Abadi and Roger Needham. Prudent engineering practice for cryptographic protocols. Research Report 125, DEC, System Research Center, 1994.
4. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society, Series A, 426(1871):233-271, 1989.
5. Stephen Brackin. Automatically detecting most vulnerabilities in cryptographic protocols. In Proceedings of the 2000 DARPA Information Survivability Conference and Exposition - DISCEX'00, volume 1, pages pp. 222-236, Hilton Head, SC, 2000.
6. 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.
7. Iliano Cervesato. Typed multiset rewriting specifications of security protocols. Unpublished manuscript.
8. Iliano Cervesato. Typed multiset rewriting specifications of security protocols. In A. Seda, editor, Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology - MFCSIT'00, Cork, Ireland, 19-21 July 2000. Elsevier ENTCS.
9. Iliano Cervesato. A specification language for crypto-protocol based on multiset rewriting, dependent types and subsorting. In G. Delzanno, S. Etalle, and M. Gabbrielli, editors, Workshop on Specification, Analysis and Validation for Emerging Technologies - SAVE'01, Paphos, Cyprus, 2001.
10. Iliano Cervesato. Typed MSR: Syntax and examples. In V. Gorodetski, V. Skormin, and L. Popyack, editors, Proceedings of the First International Workshop on Mathematical Methods, Models and Architectures for Computer Network Security - MMM'01, pages 159-177, St. Petersburg, Russia, 2001. Springer-Verlag LNCS 2052.
11. Iliano Cervesato. The wolf within. In J. Guttman, editor, Second Workshop on Issues in the Theory of Security - WITS'02, Portland, OR, 2002.
12. Ph. de Groote, editor. The Curry-Howard Isomorphism, volume 8 of Cahiers du Centre de Logique, Département de Philosophie, Université Catholique de Louvain. Academia, 1995.
13. 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.
14. Grit Denker, Jonathan Millen, A. Grau, and J. Filipe. Optimizing protocol rewrite rules of CIL specifications. In 13th IEEE Computer Security Foundations Workshop - CSFW'00, pages 52-62, Cambrige, UK, July 2000.
15. Danny Dolev and Andrew C. Yao. On the security of public-key protocols. IEEE Transactions on Information Theory, 2(29): 198-208, 1983.
16. 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.
17. Andrew Gordon and Alan Jeffrey. Types and effects for asymmetric cryptographic protocols. In 15th IEEE Computer Security Foundations Workshop - CSFW'02, pages 77-91, Cape Breton, Canada, 2002.
18. Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the Association for Computing Machinery, 40(1):143-184, January 1993.
19. Gavin Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6:53-84, 1998.
20. Will Marrero, Edmund M. Clarke, and Somesh Jha. Model checking for security protocols. In Proceedings of the 1997 DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. A Preliminary version appeared as Technical Report TR-CMU-CS-97-139, Carnegie Mellon University, May 1997.
21. C. Meadows. The NRL protocol analyzer: an overview. J. Logic Programming, 26(2):113-131, 1996.
22. 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.
23. Laurence Paulson. Proving properties of security protocols by induction. In Proceedings of the 10th Computer Security Foundations Workshop, pages 70-83, 1997.
24. Frank Pfenning. Refinement types for logical frameworks. In Herman Geuvers, editor, Informal Proceedings of the Workshop on Types for Proofs and Programs, pages 285-299, Nijmegen, The Netherlands, May 1993.
25. Paul Syverson, Catherine Meadows, and Iliano Cervesato. Dolev-Yao is no better than Machiavelli. In P. Degano, editor, First Workshop on Issues in the Theory of Security - WITS'00, pages 87-92, Geneva, Switzerland, 7-8 July 2000.
26. 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.
27. Vitaly Shmatikov and Ulrich Stern. Efficient finite-state analysis for large security protocols. In Proceedings of the 11th Computer Security Foundations Workshop, pages 106-115, Rockport, MA, 1998.
28. Paul F. Syverson. A different look at secure distributed computation. In Tenth IEEE Computer Security Foundations Workshop - CSFW-10, pages 109-115, June 1997.