Security Analysis of the Cliques Protocols Suites: First Results
- 1 January 2001
- book chapter
- Published by Springer Nature
- p. 151-166
- https://doi.org/10.1007/0-306-46998-7_11
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- CVS: a compiler for the analysis of cryptographic protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Mechanized proofs for a recursive authentication protocolPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- New multiparty authentication services and key agreement protocolsIEEE Journal on Selected Areas in Communications, 2000
- Extending Formal Cryptographic Protocol Analysis Techniques for Group Protocols and Low-Level Cryptographic PrimitivesPublished by Defense Technical Information Center (DTIC) ,2000
- Strand spaces: proving security protocols correctJournal of Computer Security, 1999
- The inductive approach to verifying cryptographic protocolsJournal of Computer Security, 1998
- Casper: A compiler for the analysis of security protocolsJournal of Computer Security, 1998
- The NRL Protocol Analyzer: An OverviewThe Journal of Logic Programming, 1996
- Diffie-Hellman key distribution extended to group communicationPublished by Association for Computing Machinery (ACM) ,1996
- On Unifying Some Cryptographic Protocol LogicsPublished by Defense Technical Information Center (DTIC) ,1994