Title :
Attacks are Protocols Too
Author :
Hagalisletto, Anders Moen
Author_Institution :
Dept. of Informatics, Oslo Univ.
Abstract :
In this paper we show how to simulate attacks on authentication protocols in a realistic environment. The attack on the Needham-Schroeder public key protocol found by Gavin Lowe is run inside a malicious agent communicating with normal agents. The simulator is also able to detect flaws in attacks: a previously unreported error on an attack on the Shamir Rivest Adelman is detected by simulation
Keywords :
cryptographic protocols; public key cryptography; Needham-Schroeder public key protocol; Shamir Rivest Adelman protocols; attack simulation; authentication protocols; flaw detection; malicious agent; Analytical models; Authentication; Computational modeling; Cryptographic protocols; Cryptography; Explosions; High level languages; Logic; Security; State-space methods;
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.46
