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ć

^*Corresponding author for this work

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. Smart Devices, Pervasive Systems, and Ubiquitous Networks
Subtitle of host publication	WISTP 2009
Publisher	Springer
Pages	38-51
Number of pages	14
ISBN (Electronic)	9783642039447
ISBN (Print)	9783642039430
DOIs	https://doi.org/10.1007/978-3-642-03944-7_4
Publication status	Published - 2009
Event	3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice 2009 - Brussels, Belgium Duration: 1 Sept 2009 → 4 Sept 2009

Publication series

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

Conference

Conference	3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice 2009
Abbreviated title	WISTP 2009
Country/Territory	Belgium
City	Brussels
Period	1/09/09 → 4/09/09

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

@inproceedings{92c1abf6434b4a0cac18c4dda49a7f79,

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

year = "2009",

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

language = "English",

isbn = "9783642039430",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "38--51",

booktitle = "Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks",

note = "3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice 2009, WISTP 2009 ; Conference date: 01-09-2009 Through 04-09-2009",

}

van Deursen, T & Radomirović, S 2009, Algebraic attacks on RFID protocols. in Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks: WISTP 2009. Lecture Notes in Computer Science, vol. 5746, Springer, pp. 38-51, 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice 2009, Brussels, Belgium, 1/09/09. https://doi.org/10.1007/978-3-642-03944-7_4

TY - GEN

T1 - Algebraic attacks on RFID protocols

AU - van Deursen, Ton

AU - Radomirović, Saša

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. Smart Devices, Pervasive Systems, and Ubiquitous Networks

PB - Springer

T2 - 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice 2009

Y2 - 1 September 2009 through 4 September 2009

ER -

Algebraic attacks on RFID protocols

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this