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 Castro118937.03
Juan M. Estévez-tapiador29110.43
Arturo Ribagorda366950.25