Security of RFID Protocols - A Case Study

Ton van Deursen; Saša Radomirović

doi:10.1016/j.entcs.2009.07.037

Security of RFID Protocols - A Case Study

Ton van Deursen, Saša Radomirović

Computing

Research output: Contribution to journal › Article › peer-review

24 Citations (Scopus)

141 Downloads (Pure)

Abstract

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 language	English
Pages (from-to)	41-52
Number of pages	12
Journal	Electronic Notes in Theoretical Computer Science
Volume	244
Early online date	30 Jul 2009
DOIs	https://doi.org/10.1016/j.entcs.2009.07.037
Publication status	Published - 1 Aug 2009
Event	4th International Workshop on Security and Trust Management - Trondheim, Norway Duration: 16 Jun 2008 → 17 Jun 2008

Keywords

RFID
Security protocols
Verification

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.entcs.2009.07.037Licence: CC BY-NC-ND

Final Published Version
© 2009 Elsevier B.V. Open access under CC BY-NC-ND license
Final published version, 275 KBLicence: CC BY-NC-ND

Cite this

@article{6f7162d52cf34650aa29bcbb6ee59f06,

title = "Security of RFID Protocols - A Case Study",

abstract = "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.",

keywords = "RFID, Security protocols, Verification",

author = "{van Deursen}, Ton and Sa{\v s}a Radomirovi{\'c}",

note = "No funding info; 4th International Workshop on Security and Trust Management, STM 2008 ; Conference date: 16-06-2008 Through 17-06-2008",

year = "2009",

month = aug,

day = "1",

doi = "10.1016/j.entcs.2009.07.037",

language = "English",

volume = "244",

pages = "41--52",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Security of RFID Protocols - A Case Study

AU - van Deursen, Ton

AU - Radomirović, Saša

N1 - No funding info

PY - 2009/8/1

Y1 - 2009/8/1

N2 - 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.

AB - 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.

KW - RFID

KW - Security protocols

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=67651174597&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2009.07.037

DO - 10.1016/j.entcs.2009.07.037

M3 - Article

AN - SCOPUS:67651174597

SN - 1571-0661

VL - 244

SP - 41

EP - 52

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - 4th International Workshop on Security and Trust Management

Y2 - 16 June 2008 through 17 June 2008

ER -

Security of RFID Protocols - A Case Study

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this