Title | ||
---|---|---|
Non-standard Attacks against Cryptographic Protocols, with an Example over a Simplified Mutual Authentication Protocol |
Abstract | ||
---|---|---|
In this work, we present a simple model for the automated cryptanalysis of cryptographic protocols based on meta-heuristic search. We illustrate our approach with a straightforward application in the form of an attack against a slightly simplified version of an ultra-lightweight authentication protocol for RFID environments called SASI. We show how an attack based on Simulated Annealing can efficiently recover the tag's secret ID, which is the value the protocol is designed to conceal. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-87477-5_62 | Communications in Computer and Information Science |
Keywords | Field | DocType |
simulated annealing,cryptographic protocol,hash function,heuristic search,radio frequency identification,stream cipher,authentication protocol | Hash-based message authentication code,Mutual authentication,Mathematical optimization,Cryptographic protocol,Computer science,Challenge–response authentication,Computer network,Cryptographic primitive,Authentication protocol,Reflection attack,Cryptographic nonce,Distributed computing | Conference |
Volume | ISSN | Citations |
14 | 1865-0929 | 0 |
PageRank | References | Authors |
0.34 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julio César Hernández Castro | 1 | 189 | 37.03 |
Juan M. Estévez-tapiador | 2 | 91 | 10.43 |
Arturo Ribagorda | 3 | 669 | 50.25 |