DocumentCode
1653743
Title
Automatically detecting most vulnerabilities in cryptographic protocols
Author
Brackin, Stephen H.
Author_Institution
Exodus Commun., Ithaca, NY, USA
Volume
1
fYear
2000
fDate
6/22/1905 12:00:00 AM
Firstpage
222
Abstract
The Automatic Authentication Protocol Analyzer, 2nd Version (AAPA2) is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identifies vulnerabilities or their absence in 43 of 51 protocols studied in the literature, and it finds errors in previously asserted authentication properties of two large commercial protocols. This paper describes how the AAPA2 finds vulnerabilities in 13 of 16 vulnerable protocols, protocols for which the earlier Automatic Authentication Protocol Analyzer (AAPA) finds vulnerabilities in only 6 of these protocols
Keywords
cryptography; message authentication; protocols; AAPA2; Automatic Authentication Protocol Analyzer; authentication properties; automatic tool; cryptographic protocols; vulnerabilities; Bismuth; Cryptographic protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings
Conference_Location
Hilton Head, SC
Print_ISBN
0-7695-0490-6
Type
conf
DOI
10.1109/DISCEX.2000.824981
Filename
824981
Link To Document