DocumentCode
2414857
Title
Errors in Attacks on Authentication Protocols
Author
Hagalisletto, Anders Moen
Author_Institution
Dept. of Informatics, Oslo Univ.
fYear
2007
fDate
10-13 April 2007
Firstpage
223
Lastpage
229
Abstract
A tool for automated validation of attacks on authentication protocols has been used to find several flaws and ambiguities in the list of attacks described in the well known report by Clark and Jacob. In this paper the errors are presented and classified. Corrected descriptions of the incorrect attacks are given for the attacks that can be easily repaired
Keywords
formal verification; security of data; attack errors; authentication protocols; automated attack validation; scurity protocols; Authentication; Error correction; Formal languages; Fungi; Informatics; Jacobian matrices; Law; Legal factors; Protocols; Security;
fLanguage
English
Publisher
ieee
Conference_Titel
Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on
Conference_Location
Vienna
Print_ISBN
0-7695-2775-2
Type
conf
DOI
10.1109/ARES.2007.81
Filename
4159807
Link To Document