Title :
Errors in Attacks on Authentication Protocols
Author :
Hagalisletto, Anders Moen
Author_Institution :
Dept. of Informatics, Oslo Univ.
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;
Conference_Titel :
Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2775-2
DOI :
10.1109/ARES.2007.81
