Untraceability of RFID protocols

Ton van Deursen, Sjouke Mauw, Saša Radomirović

Research output: Chapter in Book/Report/Conference proceedingConference contribution

49 Citations (Scopus)

Abstract

We give an intuitive formal definition of untraceability in the standard Dolev-Yao intruder model, inspired by existing definitions of anonymity. We show how to verify whether communication protocols satisfy the untraceability property and apply our methods to known RFID protocols. We show a previously unknown attack on a published RFID protocol and use our framework to prove that the protocol is not untraceable.

Original languageEnglish
Title of host publicationInformation Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks
Subtitle of host publicationWISTP 2008
PublisherSpringer
Pages1-15
Number of pages15
ISBN (Electronic)9783540799665
ISBN (Print)9783540799658
DOIs
Publication statusPublished - 2008
Event2nd IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Seville, Spain
Duration: 13 May 200816 May 2008

Publication series

NameLecture Notes in Computer Science
Volume5019
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks
Abbreviated titleWISTP 2008
CountrySpain
CitySeville
Period13/05/0816/05/08

Keywords

  • Formal verification
  • RFID protocols
  • Untraceability

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Untraceability of RFID protocols'. Together they form a unique fingerprint.

  • Cite this

    van Deursen, T., Mauw, S., & Radomirović, S. (2008). Untraceability of RFID protocols. In Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks: WISTP 2008 (pp. 1-15). (Lecture Notes in Computer Science; Vol. 5019). Springer. https://doi.org/10.1007/978-3-540-79966-5_1