Algebraic Attacks on RFID Protocols

Ton van Deursen; Saša Radomirović

doi:10.1007/978-3-642-03944-7_4

Algebraic Attacks on RFID Protocols

Ton van Deursen, Saša Radomirović

Computing

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

31 Citations (Scopus)

Abstract

This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concerning authentication, untraceability, and secrecy are discussed. We demonstrate the types of attacks by exhibiting previously unpublished vulnerabilities in several protocols and referring to various other flawed protocols. The common theme in these attacks is the fact that the algebraic properties of operators employed by the protocols are abused. While the methodology is applicable to any operator with algebraic properties, the protocols considered in this paper make use of xor, modular addition, and elliptic curve point addition.

Original language	English
Title of host publication	Information Security Theory and Practice
Subtitle of host publication	Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings
Editors	Olivier Markowitch, Angelos Bilas, Jaap-Henk Hoepman , Chris J. Mitchell, Jean-Jacques Quisquater
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	38-51
Number of pages	14
ISBN (Print)	9783642039430
DOIs	https://doi.org/10.1007/978-3-642-03944-7_4
Publication status	Published - 2009
Event	3rd Workshop in Information Security Theory and Practices: "Smart Devices, Pervasive Systems, Ubiquitous Networks" - NH Hotel du Grand Sablon, Brussels, Belgium Duration: 1 Sept 2009 → 4 Sept 2009 http://wistp2009.wistp.org/ (Link to Workshop website)

Publication series

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

Workshop

Workshop	3rd Workshop in Information Security Theory and Practices
Abbreviated title	WISTP 2009
Country/Territory	Belgium
City	Brussels
Period	1/09/09 → 4/09/09
Internet address	http://wistp2009.wistp.org/ (Link to Workshop website)

Keywords

Algebraic methods
Attacks
Formal verification
RFID
Security protocols

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-03944-7_4

Cite this

van Deursen, T., & Radomirović, S. (2009). Algebraic Attacks on RFID Protocols. In O. Markowitch, A. Bilas, J.-H. Hoepman , C. J. Mitchell, & J.-J. Quisquater (Eds.), Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings (pp. 38-51). (Lecture Notes in Computer Science ; Vol. 5746 ). Springer Verlag. https://doi.org/10.1007/978-3-642-03944-7_4

van Deursen, Ton ; Radomirović, Saša. / Algebraic Attacks on RFID Protocols. Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. editor / Olivier Markowitch ; Angelos Bilas ; Jaap-Henk Hoepman ; Chris J. Mitchell ; Jean-Jacques Quisquater. Berlin : Springer Verlag, 2009. pp. 38-51 (Lecture Notes in Computer Science ).

@inproceedings{c270b7359cbd49a58935828978be054f,

title = "Algebraic Attacks on RFID Protocols",

abstract = "This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concerning authentication, untraceability, and secrecy are discussed. We demonstrate the types of attacks by exhibiting previously unpublished vulnerabilities in several protocols and referring to various other flawed protocols. The common theme in these attacks is the fact that the algebraic properties of operators employed by the protocols are abused. While the methodology is applicable to any operator with algebraic properties, the protocols considered in this paper make use of xor, modular addition, and elliptic curve point addition.",

keywords = "Algebraic methods, Attacks, Formal verification, RFID, Security protocols",

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

note = "Ton van Deursen was supported by a grant from the Fonds National de la Recherche (Luxembourg); 3rd Workshop in Information Security Theory and Practices : {"}Smart Devices, Pervasive Systems, Ubiquitous Networks{"}, WISTP 2009 ; Conference date: 01-09-2009 Through 04-09-2009",

year = "2009",

doi = "10.1007/978-3-642-03944-7_4",

language = "English",

isbn = "9783642039430",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "38--51",

editor = "Markowitch, {Olivier } and Bilas, {Angelos } and {Hoepman }, {Jaap-Henk } and Mitchell, {Chris J. } and Quisquater, {Jean-Jacques }",

booktitle = "Information Security Theory and Practice",

address = "Germany",

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

}

van Deursen, T & Radomirović, S 2009, Algebraic Attacks on RFID Protocols. in O Markowitch, A Bilas, J-H Hoepman , CJ Mitchell & J-J Quisquater (eds), Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5746 , Springer Verlag, Berlin, pp. 38-51, 3rd Workshop in Information Security Theory and Practices, Brussels, Belgium, 1/09/09. https://doi.org/10.1007/978-3-642-03944-7_4

Algebraic Attacks on RFID Protocols. / van Deursen, Ton; Radomirović, Saša.
Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. ed. / Olivier Markowitch; Angelos Bilas; Jaap-Henk Hoepman ; Chris J. Mitchell; Jean-Jacques Quisquater. Berlin: Springer Verlag, 2009. p. 38-51 (Lecture Notes in Computer Science ; Vol. 5746 ).

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

TY - GEN

T1 - Algebraic Attacks on RFID Protocols

AU - van Deursen, Ton

AU - Radomirović, Saša

N1 - Ton van Deursen was supported by a grant from the Fonds National de la Recherche (Luxembourg)

PY - 2009

Y1 - 2009

N2 - This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concerning authentication, untraceability, and secrecy are discussed. We demonstrate the types of attacks by exhibiting previously unpublished vulnerabilities in several protocols and referring to various other flawed protocols. The common theme in these attacks is the fact that the algebraic properties of operators employed by the protocols are abused. While the methodology is applicable to any operator with algebraic properties, the protocols considered in this paper make use of xor, modular addition, and elliptic curve point addition.

AB - This work aims to identify the algebraic problems which enable many attacks on RFID protocols. Toward this goal, three emerging types of attacks on RFID protocols, concerning authentication, untraceability, and secrecy are discussed. We demonstrate the types of attacks by exhibiting previously unpublished vulnerabilities in several protocols and referring to various other flawed protocols. The common theme in these attacks is the fact that the algebraic properties of operators employed by the protocols are abused. While the methodology is applicable to any operator with algebraic properties, the protocols considered in this paper make use of xor, modular addition, and elliptic curve point addition.

KW - Algebraic methods

KW - Attacks

KW - Formal verification

KW - RFID

KW - Security protocols

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

U2 - 10.1007/978-3-642-03944-7_4

DO - 10.1007/978-3-642-03944-7_4

M3 - Conference contribution

AN - SCOPUS:70350597641

SN - 9783642039430

T3 - Lecture Notes in Computer Science

SP - 38

EP - 51

BT - Information Security Theory and Practice

A2 - Markowitch, Olivier

A2 - Bilas, Angelos

A2 - Hoepman , Jaap-Henk

A2 - Mitchell, Chris J.

A2 - Quisquater, Jean-Jacques

PB - Springer Verlag

CY - Berlin

T2 - 3rd Workshop in Information Security Theory and Practices

Y2 - 1 September 2009 through 4 September 2009

ER -

van Deursen T, Radomirović S. Algebraic Attacks on RFID Protocols. In Markowitch O, Bilas A, Hoepman JH, Mitchell CJ, Quisquater JJ, editors, Information Security Theory and Practice: Smart Devices, Pervasive Systems, and Ubiquitous Networks - Third IFIPWG 11.2 International Workshop, WISTP2009 Brussels, Belgium, September 1-4, 2009. Proceedings. Berlin: Springer Verlag. 2009. p. 38-51. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-642-03944-7_4

Algebraic Attacks on RFID Protocols

Abstract

Publication series

Workshop

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this