Automatic verification of the TLS handshake protocol

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2004, Pages 789-794

  Díaz, Gregorio ^a   Cuartero, Fernando ^a   Valero, Valentín ^a   Pelayo, Fernando ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Authentication Protocols; e Commerce; Security; System Verification and Model Checking

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; INTERNET; MATHEMATICAL MODELS; NETWORK PROTOCOLS; QUALITY CONTROL; SECURITY OF DATA; SERVERS;

AUTHENTICATION PROTOCOLS; SYSTEM VERIFICATION AND MODEL CHECKING; TRANSPORT LAYER SECURITY (TLS);

ELECTRONIC COMMERCE;

EID: 2442505779     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/967900.968063     Document Type: Conference Paper

References (10)

1. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, Yi Wang, and C. Weise, New Generation of UPPAAL, Int. Workshop on Software Tools for Technology Transfer, June 1998.
2. D. Bolignano, Towards the formal verification of electronic commerce protocols, In Proc. 10th IEEE Computer Security Foundations Workshop, 1997.
3. Philippa Broadfoot and Gavin Lowe, On distributed security transactions that use secure transport protocols, 2003.
4. G. Díaz, D. Cazorla, F. Pelayo, F. Cuartero, and V. Valero, Verifying and capturing probabilistic bechaviours of real-time systems, 19th Annual UK Performance Engineering Workshop, 2003.
5. Internet Engineering Task Force, The tls protocol version 1.1, work in progress (June 2003), http://www.ietf.org/internet-drafts/draft-ietf-tls- rfc2246-bis-05.txt.
6. K. Larsen, P. Pettersson, and Wang Yi, UPPAAL in a Nutshell, Int. Journal on Software Tools for Technology Transfer 1 (1997), no. 1-2, 134-152.
7. F. Larsson, K. Larsen, P. Pettersson, and Wang Yi, Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction, Proc. of the 18th IEEE Real-Time Systems Symposium, 1997.
8. Gavin Lowe, Towards a completeness result for model checking of security protocols, Proc. of The 11th Computer Security Foundations Workshop, 1999.
9. A. W. Roscoe, Proving security protocols with model checkers by data independence techniques, In Proceedings of the IEEE Computer Security Foundations Workshop, 1998.
10. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe, Modelling and analysis of security protocols, Addison Wesley, 2001.