HERMES: An automatic tool for verification of secrecy in security protocols

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

Volumn 2725, Issue , 2003, Pages 219-222

  Bozga, Liana ^a   Lakhnech, Yassine ^a   Périn, Michaël ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248837934     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45069-6_23     Document Type: Article

References (11)

1. L. Bozga, Y. Lakhnech, and M. Périn. Abstract interpretation for secrecy using patterns. In Tools and Algorithms for the Construction and Analysis of Systems, vol. 2619 of LNCS, p. 299-314, 2003.
2. ∼jac/papers/drarevievps.ps, 1997.
3. H. Comon-Lundh and V. Cortier. Security properties: Two agents are sufficient. In European Symposium On Programming, vol. 2618 of LNCS, p. 99-113, 2003.
4. V. Cortier, J. Millen, and H. Rueß. Proving secrecy is easy enough. In Computer Security Foundations Workshop, p. 97-110, 2001.
5. G. Denker and J. Millen. The CAPSL integrated protocol environment. In IEEE DARPA Information Survivability Conference and Exposition, p. 207-222, 2000.
6. D. Dolev and A. C. Yao. On the security of public key protocols. Transactions on Information Theory, 29(2):198-208, 1983.
7. J. Goubault-Larrecq. A method for automatic cryptographic protocol verification. In International Workshop on Formal Methods for Parallel Programming: Theory and Applications, vol. 1800 of LNCS, p. 977-984, 2000.
8. G. Lowe. Casper: A compiler for the analysis of security protocols. In Computer Security Foundations Workshop, p. 18-30, 1997.
9. L. Paulson. Proving properties of security protocols by induction. In Computer Security Foundations Workshop, p. 70-83, 1997.
10. M. Rusinowitch and M. Turuani. Protocol insecurity with finite number of sessions is NP-complete. In Computer Security Foundations Workshop, p. 174-190, 2001.
11. S. Schneider. Verifying authentication protocols with CSP. In Computer Security Foundations Workshop, p. 3-17, 1997.