DocumentCode
1917946
Title
Analyzing Internet security protocols
Author
Yasinsac, Alec ; Childs, Justin
Author_Institution
Dept. of Comput. Sci., Florida State Univ., Tallahassee, FL, USA
fYear
2001
fDate
2001
Firstpage
149
Lastpage
159
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2001. Sixth IEEE International Symposium on
Conference_Location
Boco Raton, FL
ISSN
1530-2059
Print_ISBN
0-7695-1275-5
Type
conf
DOI
10.1109/HASE.2001.966816
Filename
966816
Link To Document