Title :
Analyzing Internet security protocols
Author :
Yasinsac, Alec ; Childs, Justin
Author_Institution :
Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
Abstract :
In this paper, we show how a novel tool for analyzing classical cryptographic protocols can be used to model and analyze the more complex Internet security protocol families. We discuss the modifications that were necessary in the tool and how the tool illuminates flaws in the Transport Layer Security (TLS) protocol. We also show how a flaw carried over to TLS from the Secure Sockets Layer protocol (the predecessor of TLS) was illustrated using our tool
Keywords :
Internet; cryptography; protocols; Internet security protocols; cryptographic protocols; secure sockets layer protocol; transport layer security protocol; Application software; Costs; Cryptographic protocols; Cryptography; Internet; Performance analysis; Read only memory; Security; Sockets; Software tools;
Conference_Titel :
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on
Conference_Location :
Boco Raton, FL
Print_ISBN :
0-7695-1275-5
DOI :
10.1109/HASE.2001.966816
