Athena: A novel approach to efficient automatic security protocol analysis

Journal of Computer Security

Volumn 9, Issue 1-2, 2001, Pages 47-74

  Song, Dawn Xiaodong ^a   Berezin, Sergey ^b   Perrig, Adrian ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ERROR CORRECTION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; RESPONSE TIME (COMPUTER SYSTEMS); THEOREM PROVING;

AUTOMATIC VERIFICATION TECHNIQUE; MODEL CHECKING; RUN TIME; SEARCH ALGORITHM; SECURITY PROTOCOL; STRAND SPACE MODEL;

SECURITY OF DATA;

EID: 0035072287     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2001-91-203     Document Type: Article

References (38)

1. Automatic formal analyses of crytographic protocols
2. Automatic formal analysis of two large commercial protocols
3. A logic of authentication
4. Using partial order and symmetry reductions in security protocol verification
5. Using state space exploration and a natural deduction style message derivation engine to verify security protocols
6. On the security of public key protocols
7. Honest ideals on strand spaces
8. Reasoning about belief in cryptographic protocols
9. Model checking electronic commerce protocols
10. A model for secure protocols and their compositions
11. Fast, automatic checking of security protocols
12. Breaking and fixing the needham-schroeder public-key protocol using FDR
13. A hierarchy of authentication specifications
14. Towards a completeness result for model checking security protocols
15. Honest functions and their applications of cryptographic protocols
16. A model of computation for the NRL protocol analyzer
17. Formal verification of cryptographic protocols: A survey
18. Analyzing the Needham-Schroeder public key protocol: A comparison of two approaches
19. The interrogator model
20. Automated analysis of cryptographic protocols using Mur φ
21. Using encryption for authentication in large networks of computers
22. Efficient and timely mutual authentication
23. Proving properties of security protocols by induction
24. All from one, one for all: On model checking using representatives
25. Combining partial order reductions with on-the-fly model-checking
26. An initial approach to automatic generation of security protocols
27. Athena: An automatic checker for security protocol analysis
28. Looking for a diamond in a dessert - extending automatic protocol generation to three-party authentication and key distribution protocols
29. Strand spaces: Why is a security protocol correct?
30. A symbiotic relationship between formal methods and security
31. A semantic model for authentication protocols