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ć

^*Corresponding author for this work

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

24 Citations (Scopus)

93 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
DOIs	https://doi.org/10.1016/j.entcs.2009.07.037
Publication status	Published - 1 Aug 2009

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

Download pdfFinal published version, 275 KBLicence: CC BY-NC-ND

Cite this

@article{7ac6fcd9cbe94fc3af10f50ff75d146e,

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}",

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 B.V.",

}

TY - JOUR

T1 - Security of RFID Protocols - A Case Study

AU - van Deursen, Ton

AU - Radomirović, Saša

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 - https://www.scopus.com/pages/publications/67651174597

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

ER -

Security of RFID Protocols - A Case Study

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this