Efficient finite-state analysis for large security protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1998, Pages 106-115

  Shmatikov, Vitaly ^a   Stern, Ulrich ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; FINITE AUTOMATA; GRAPH THEORY; MATHEMATICAL MODELS; OPTIMIZATION; SECURITY OF DATA;

SECURITY PROTOCOLS; STATE REDUCTION TECHNIQUES;

NETWORK PROTOCOLS;

EID: 0031627781     PISSN: 10636900     EISSN: None     Source Type: None    
DOI: 10.1109/CSFW.1998.683160     Document Type: Conference Paper

References (11)

1. D. Bolignano Towards a mechanization of cryptographic protocol verification Computer Aided Verification. 9th International Conference 131 142 Computer Aided Verification. 9th International Conference 1997
2. D. L. Dill The Mur[illegible text] verification system Computer Aided Verification. 8th International Conference 390 393 Computer Aided Verification. 8th International Conference 1996
3. D. L. Dill S. Park A. G. Nowatzyk Formal specification of abstract memory models Symposium on Research on Integrated Systems 38 52 Symposium on Research on Integrated Systems 1993
4. A. O. Freier P. Karlton P. C. Kocher The SSL protocol version 3.0 18 November 1996 draft-ietf-tls-ssl-version3-00.txt
5. J. T. Kohl B. C. Neuman The Kerberos network authentication service (version 5) September 1993 Internet Request For Comments RFC-1510
6. G. Lowe Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems 1996
7. J. C. Mitchell M. Mitchell U. Stern Automated analysis of cryptographic protocols using Mur[illegible text] IEEE Symposium on Security and Privacy 141 151 IEEE Symposium on Security and Privacy 1997
8. J. C. Mitchell V. Shmatikov U. Stern Finite-state analysis of SSL 3.0 7th USENIX Security Symposium 201 215 7th USENIX Security Symposium 1998
9. R. Needham M. Schroeder Using encryption for authentication in large networks of computers Communications of the ACM 21 12 993 999 1978
10. U. Stern D. L. Dill Automatic verification of the SCI cache coherence protocol Advanced Research Working Conference on Correct Hardware Design and Verification Methods 21 34 Advanced Research Working Conference on Correct Hardware Design and Verification Methods 1995
11. L. Yang D. Gao J. Mostoufi R. Joshi P. Loewenstein System design methodology of UltraSPARC™-I 32nd Design Automation Conference 7 12 32nd Design Automation Conference 1995