A security analysis of the cliques protocols suites

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 73-81

  Pereira, O ^a   Quisquater, J J ^a  

^a Microelectronics Laboratory   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY ANALYSIS;

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; CRYPTOGRAPHY; MATHEMATICAL MODELS; PROBABILITY; SECURITY OF DATA;

NETWORK PROTOCOLS;

EID: 0034822650     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2001.930137     Document Type: Conference Paper

References (16)

1. Reconciling two views of cryptography
2. New multi-party authentication services and key agreement protocols
3. Entity authentication and key distribution
4. Key agreement protocols and their security analysis
5. CSP, PVS, and a recursive authentication protocol
6. CVS: A tool for the analysis of cryptographic protocols
7. Casper: A compiler for the analysis of security protocols
8. A model checker for authentication protocols
9. The NRL protocol analyzer: An overview
10. Extending formal cryptographic protocol analysis techniques for group protocols and low-level cryptographic primitives
11. Mechanised proofs for a recursive authentication protocol
12. The inductive approach to verifying cryptographic protocols
13. Athena: A new efficient automatic checker for security protocol analysis
14. On unifying some cryptographic protocols logics
15. Mixed strand spaces
16. Strand spaces: Proving security protocols correct