Untraceability of RFID Protocols

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

doi:10.1007/978-3-540-79966-5_1

Untraceability of RFID Protocols

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

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

53 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 language	English
Title of host publication	Information Security Theory and Practices
Subtitle of host publication	Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings
Editors	Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	1-15
Number of pages	15
ISBN (Print)	9783540799658
DOIs	https://doi.org/10.1007/978-3-540-79966-5_1
Publication status	Published - 2008
Event	2nd Workshop in Information Security Theory and Practices : "Smart Devices, Convergence and Next Generation Networks" - Hotel Hesperi, Seville, Spain Duration: 13 May 2008 → 16 May 2008 http://wistp2008.wistp.org/ (Link to Workshop website)

Publication series

Name	Lecture Notes in Computer Science
Volume	5019
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	2nd Workshop in Information Security Theory and Practices
Abbreviated title	WISTP 2008
Country/Territory	Spain
City	Seville
Period	13/05/08 → 16/05/08
Internet address	http://wistp2008.wistp.org/ (Link to Workshop website)

Keywords

Formal verification
RFID protocols
Untraceability

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-79966-5_1

Cite this

van Deursen, T., Mauw, S., & Radomirović, S. (2008). Untraceability of RFID Protocols. In J. A. Onieva, D. Sauveron, S. Chaumette, D. Gollmann, & K. Markantonakis (Eds.), Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings (pp. 1-15). (Lecture Notes in Computer Science ; Vol. 5019 ). Springer Verlag. https://doi.org/10.1007/978-3-540-79966-5_1

van Deursen, Ton ; Mauw, Sjouke ; Radomirović, Saša. / Untraceability of RFID Protocols. Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings. editor / Jose A. Onieva ; Damien Sauveron ; Serge Chaumette ; Dieter Gollmann ; Konstantinos Markantonakis. Berlin : Springer Verlag, 2008. pp. 1-15 (Lecture Notes in Computer Science ).

@inproceedings{bfdbad1d16d7401cb8f10e76dd65b2ec,

title = "Untraceability of RFID Protocols",

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

keywords = "Formal verification, RFID protocols, Untraceability",

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

note = "No funding info; 2nd Workshop in Information Security Theory and Practices : {"}Smart Devices, Convergence and Next Generation Networks{"}, WISTP 2008 ; Conference date: 13-05-2008 Through 16-05-2008",

year = "2008",

doi = "10.1007/978-3-540-79966-5_1",

language = "English",

isbn = "9783540799658",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "1--15",

editor = "Onieva, {Jose A. } and Sauveron, {Damien } and Chaumette, {Serge } and Gollmann, {Dieter } and Markantonakis, {Konstantinos }",

booktitle = "Information Security Theory and Practices",

address = "Germany",

url = "http://wistp2008.wistp.org/",

}

van Deursen, T, Mauw, S & Radomirović, S 2008, Untraceability of RFID Protocols. in JA Onieva, D Sauveron, S Chaumette, D Gollmann & K Markantonakis (eds), Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings. Lecture Notes in Computer Science , vol. 5019 , Springer Verlag, Berlin, pp. 1-15, 2nd Workshop in Information Security Theory and Practices , Seville, Spain, 13/05/08. https://doi.org/10.1007/978-3-540-79966-5_1

Untraceability of RFID Protocols. / van Deursen, Ton; Mauw, Sjouke; Radomirović, Saša.
Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings. ed. / Jose A. Onieva; Damien Sauveron; Serge Chaumette; Dieter Gollmann; Konstantinos Markantonakis. Berlin: Springer Verlag, 2008. p. 1-15 (Lecture Notes in Computer Science ; Vol. 5019 ).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Untraceability of RFID Protocols

AU - van Deursen, Ton

AU - Mauw, Sjouke

AU - Radomirović, Saša

N1 - No funding info

PY - 2008

Y1 - 2008

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

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

KW - Formal verification

KW - RFID protocols

KW - Untraceability

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

U2 - 10.1007/978-3-540-79966-5_1

DO - 10.1007/978-3-540-79966-5_1

M3 - Conference contribution

AN - SCOPUS:44649113207

SN - 9783540799658

T3 - Lecture Notes in Computer Science

SP - 1

EP - 15

BT - Information Security Theory and Practices

A2 - Onieva, Jose A.

A2 - Sauveron, Damien

A2 - Chaumette, Serge

A2 - Gollmann, Dieter

A2 - Markantonakis, Konstantinos

PB - Springer Verlag

CY - Berlin

T2 - 2nd Workshop in Information Security Theory and Practices

Y2 - 13 May 2008 through 16 May 2008

ER -

van Deursen T, Mauw S, Radomirović S. Untraceability of RFID Protocols. In Onieva JA, Sauveron D, Chaumette S, Gollmann D, Markantonakis K, editors, Information Security Theory and Practices: Smart Devices, Convergence and Next Generation Networks - Second IFIP WG 11.2 International Workshop, WISTP 2008 Seville, Spain, May 13-16, 2008. Proceedings. Berlin: Springer Verlag. 2008. p. 1-15. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-540-79966-5_1

Untraceability of RFID Protocols

Abstract

Publication series

Workshop

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this