Security analysis of the cliques protocols suites: First results

IFIP Advances in Information and Communication Technology

Volumn 65, Issue , 2002, Pages 151-166

  Pereira, O ^a   Quisquater, J J ^a  

^a Microelectronics Laboratory   (Belgium)

Author keywords

Cliques protocols; Diffie hellman; Group protocols; Systematic analysis

Indexed keywords

INFORMATION TECHNOLOGY;

DIFFIE HELLMAN; DIFFIE-HELLMAN KEY EXCHANGE PROTOCOL; GROUP PROTOCOLS; KEY AUTHENTICATION; PERFECT FORWARD SECRECY; SECURITY ANALYSIS; SECURITY PROPERTIES; SYSTEMATIC ANALYSIS;

SECURITY OF DATA;

EID: 84904244789     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (14)

1. G. Ateniese, M. Steiner and G. Tsudik. New Multi-party Authentication Services and Key Agreement Protocols. IEEE Journal on Selected Areas in Communication, April 2000.
2. J. Bryans, S. Schneider. CSP, PVS, and a Recursive Authentication Protocol. In DIMACS Workshop on Formal Verification of Security Protocols, 1997.
3. A. Durante, R. Focardi, R. Gorrieri. CVS: A Tool for the Analysis of Cryptographic Protocols. In Proceedings of the 12-th IEEE Computer Security Foundations Workshop, pp. 203-212, 1999.
4. G. Lowe. Casper: A Compiler for the Analysis of Security Protocols. In Journal of Computer Security, Vol. 6, pp. 53-84, 1998.
5. C. Meadows. The NRL Protocol Analyzer: an Overview. In Journal of Logic Programming, Vol. 26(2), pp. 113-131, 1996.
6. C. Meadows. Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic Primitives. In Proceedings of the Workshop on Issues in the Theory of Security (WITS 2000), 2000.
7. W. Marrero, E. Clarke, S. Jha. A Model Checker for Authentication protocols. In Proceedings of the DIMACS workshop on design and formal verification of security protocols, 1997.
8. th Computer Security Foundations Workshop, pp. 84-95. IEEE Computer Society Press, 1997.
9. L C Paulson. The inductive approach to verifying cryptographic protocols. In Journal of computer Security, Vol. 6, pp. 85-128, 1998.
10. D. Song. Athena: A New Efficient Automatic Checker for Security Protocol Analysis. In Proceedings of the IEEE Symposium on Research in Security and Privacy, 1999.
11. M. Steiner, G. Tsudik and M. Waidner. Diffie-Hellman Key Distribution Extended to Group Communication. In Proceedings of the 3rd ACM Conference on Computer and Communications Security, 1996.
12. P. Syverson, P. van Oorschot. On Unifying Some Cryptographic Protocols logics. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 14-28, 1994.
13. F. J. Thayer, J. H. Herzog, J. Guttman. Strand Spaces: Proving Security Protocols Correct. In Journal of Computer Security, 7(2/3): 191-230, 1999.
14. th Computer Security Foundations Workshop, pp. 83-89. IEEE Computer Society Press, 1999.