Errors in Attacks on Authentication Protocols

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.

• Type: Conference
• Year: 2007
• Where: IEEEARES
• Authors: Anders Moen Hagalisletto
• Keywords: Ambiguities, Authentication Protocols, IEEEARES 2007, Incorrect Attacks, Security Privacy