In the context of Dolev-Yao style analysis of security protocols, we investigate the security claims of a recently proposed RFID authentication protocol. We exhibit a flaw which has gone unnoticed in RFID protocol literature and present the resulting attacks on authentication, untraceability, and desynchronization resistance. We analyze and discuss the authors' proofs of security. References to other vulnerable protocols are given.
|Number of pages||12|
|Journal||Electronic Notes in Theoretical Computer Science|
|Early online date||30 Jul 2009|
|Publication status||Published - 1 Aug 2009|
|Event||4th International Workshop on Security and Trust Management - Trondheim, Norway|
Duration: 16 Jun 2008 → 17 Jun 2008
- Security protocols