Abstracting cryptographic protocols by prolog rules

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

Volumn 2126 LNCS, Issue , 2001, Pages 433-436

  Blanchet, Bruno ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

STATIC ANALYSIS;

ABSTRACT REPRESENTATION; CRYPTOGRAPHIC PROTOCOLS; SECRECY PROPERTIES; STATE-SPACE EXPLOSION;

CRYPTOGRAPHY;

EID: 24644497304     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47764-0_27     Document Type: Conference Paper

References (18)

1. Martín Abadi. Explicit Communication Revisited: Two New Attacks on Authentication Protocols. IEEE Transactions on Software Engineering, 23(3): 185-186, March 1997.
2. Martín Abadi. Secrecy by typing in security protocols. In Theoreti cal Aspects of Computer Software, Volume 1281 of Lecture Notes on Computer Science, pages 611-638. Springer Verlag, 1997.
3. Martín Abadi and Cédric Fournet. Mobile Values, News Names, and Secure Communication. In 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'01), pages 104-115, London, United Kingdom, January 2001. ACM Press.
4. Martín Abadi and Roger Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1): 6-15, January 1996.
5. Bruno Blanchet. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In 14th IEEE Computer Security Foundations Workshop (CSFW-14), Cape Breton, Canada, June 2001.
6. Chiara Bodei. Security Issues in Process Calculi. PhD thesis, Università di Pisa, January 2000.
7. Philippa Broadfoot, Gavin Lowe, and Bill Roscoe. Automating Data Independence. In 6th European Symposium on Research in Computer Security (ESORICS 2000), Volume 1895 of Lecture Notes on Computer Science, pages 175-190, Toulouse, France, October 2000. Springer Verlag.
8. Michael Burrows, Martín Abadi, and Roger Needham. A Logic of Authentication. Proceedings of the Royal Society of London A, 426: 233-271, 1989.
9. A preliminary version appeared as Digital Equipment Corporation Systems Research Center report No. 39, February 1989.
10. Grit Denker, Jose Meseguer, and Carolyn Talcott. Protocol Specification and Analysis in Maude. In N. Heintze and J. Wing, editors, Proc. of Workshop on Formal Methods and Security Protocols, Indianapolis, Indiana, 25 June 1998.
11. N. A. Durgin, P. D. Lincoln, J. C. Mitchell, and A. Scedrov. Undecidability of bounded security protocols. In Workshop on Formal Methods and Security Protocols (FMSP'99), Trento, Italy, 5 July 1999.
12. Jean Goubault-Larrecq. A Method for Automatic Cryptographic Protocol Verification (Extended Abstract), invited paper. In Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA'2000), Cancún, Mexique, May 2000. Springer-Verlag.
13. Hugo Krawczyk. SKEME: A Versatile Secure Key Exchange Mechanism for Internet. In Proceedings of the Internet Society Symposium on Network and Distributed Systems Security, February 1996. Available at http://bilbo.isu.edu/ sndss/sndss96.html.
14. Gavin Lowe. Breaking and Fixing the Needham-Schroeder Public-Key Protocol using FDR. In Tools and Algorithms for the Construction and Analysis of Systems, Volume 1055 of Lecture Notes on Computer Science, pages 147-166. Springer Verlag, 1996.
15. David Monniaux. Abstracting Cryptographic Protocols with Tree Automata. In Static Analysis Symposium (SAS'99), Volume 1694 of Lecture Notes on Computer Science, pages 149-163. Springer Verlag, September 1999.
16. Larry C. Paulson. The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security, 6(1-2): 85-128, 1998.
17. A.W. Roscoe and P.J. Broadfoot. Proving Security Protocols with Model Checkers by Data Independence Techniques. Journal of Computer Security, 7(2, 3): 147-190, 1999.
18. Dawn Xiaodong Song. Athena: a New Efficient Automatic Checker for Security Protocol Analysis. In Proc. of 12th IEEE Computer Security Foundation Workshop (CSFW-12), Mordano, Italy, June 1999.