Security of RFID Protocols - A Case Study

Ton van Deursen, Saša Radomirović

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)
128 Downloads (Pure)


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.

Original languageEnglish
Pages (from-to)41-52
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
Early online date30 Jul 2009
Publication statusPublished - 1 Aug 2009
Event4th International Workshop on Security and Trust Management - Trondheim, Norway
Duration: 16 Jun 200817 Jun 2008


  • RFID
  • Security protocols
  • Verification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Security of RFID Protocols - A Case Study'. Together they form a unique fingerprint.

Cite this