Secure Ownership and Ownership Transfer in RFID Systems

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

doi:10.1007/978-3-642-04444-1_39

Secure Ownership and Ownership Transfer in RFID Systems

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

Computing

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

37 Citations (Scopus)

Abstract

We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitions are based on an intuitive notion of ownership related to physical ownership. They are aimed at RFID systems, but should be applicable to any scenario sharing the same intuition of ownership. We discuss the connection between ownership and the notion of desynchronization resistance and give the first formal definition of the latter. We apply our definitions to existing RFID protocols, exhibiting attacks on desynchronization resistance, secure ownership, and secure ownership transfer.

Original language	English
Title of host publication	Computer Security - ESORICS 2009
Subtitle of host publication	14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings
Editors	Michael Backes, Peng Ning
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	637-654
Number of pages	18
ISBN (Print)	9783642044434
DOIs	https://doi.org/10.1007/978-3-642-04444-1_39
Publication status	Published - 2009
Event	14th European Symposium on Research in Computer Security - Palais du Grand Large, Congress center of Saint Malo, Saint-Malo, France Duration: 21 Sept 2009 → 23 Sept 2009 http://conferences.telecom-bretagne.eu/esorics2009/EN/home.php (Link to Conference website)

Publication series

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

Conference

Conference	14th European Symposium on Research in Computer Security
Abbreviated title	ESORICS 2009
Country/Territory	France
City	Saint-Malo
Period	21/09/09 → 23/09/09
Internet address	http://conferences.telecom-bretagne.eu/esorics2009/EN/home.php (Link to Conference website)

Keywords

Desynchronization resistance
Formal verification
Ownership
Ownership transfer
RFID protocols

ASJC Scopus subject areas

General Computer Science
Theoretical Computer Science

Access to Document

10.1007/978-3-642-04444-1_39

Cite this

van Deursen, T., Mauw, S., Radomirović, S., & Vullers, P. (2009). Secure Ownership and Ownership Transfer in RFID Systems. In M. Backes, & P. Ning (Eds.), Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings (pp. 637-654). (Lecture Notes in Computer Science ; Vol. 5789 ). Springer Verlag. https://doi.org/10.1007/978-3-642-04444-1_39

van Deursen, Ton ; Mauw, Sjouke ; Radomirović, Saša et al. / Secure Ownership and Ownership Transfer in RFID Systems. Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. editor / Michael Backes ; Peng Ning. Berlin : Springer Verlag, 2009. pp. 637-654 (Lecture Notes in Computer Science ).

@inproceedings{d0a780f53bbf4f89afd096e69631c3dc,

title = "Secure Ownership and Ownership Transfer in RFID Systems",

abstract = "We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitions are based on an intuitive notion of ownership related to physical ownership. They are aimed at RFID systems, but should be applicable to any scenario sharing the same intuition of ownership. We discuss the connection between ownership and the notion of desynchronization resistance and give the first formal definition of the latter. We apply our definitions to existing RFID protocols, exhibiting attacks on desynchronization resistance, secure ownership, and secure ownership transfer.",

keywords = "Desynchronization resistance, Formal verification, Ownership, Ownership transfer, RFID protocols",

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

note = "Ton van Deursen was supported by a grant from the Fonds National de la Recherche (Luxembourg).; 14th European Symposium on Research in Computer Security, ESORICS 2009 ; Conference date: 21-09-2009 Through 23-09-2009",

year = "2009",

doi = "10.1007/978-3-642-04444-1_39",

language = "English",

isbn = "9783642044434",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "637--654",

editor = "Backes, {Michael } and Ning, {Peng }",

booktitle = "Computer Security - ESORICS 2009",

address = "Germany",

url = "http://conferences.telecom-bretagne.eu/esorics2009/EN/home.php",

}

van Deursen, T, Mauw, S, Radomirović, S & Vullers, P 2009, Secure Ownership and Ownership Transfer in RFID Systems. in M Backes & P Ning (eds), Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. Lecture Notes in Computer Science , vol. 5789 , Springer Verlag, Berlin, pp. 637-654, 14th European Symposium on Research in Computer Security, Saint-Malo, France, 21/09/09. https://doi.org/10.1007/978-3-642-04444-1_39

Secure Ownership and Ownership Transfer in RFID Systems. / van Deursen, Ton; Mauw, Sjouke; Radomirović, Saša et al.
Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. ed. / Michael Backes; Peng Ning. Berlin: Springer Verlag, 2009. p. 637-654 (Lecture Notes in Computer Science ; Vol. 5789 ).

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

TY - GEN

T1 - Secure Ownership and Ownership Transfer in RFID Systems

AU - van Deursen, Ton

AU - Mauw, Sjouke

AU - Radomirović, Saša

AU - Vullers, Pim

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

PY - 2009

Y1 - 2009

N2 - We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitions are based on an intuitive notion of ownership related to physical ownership. They are aimed at RFID systems, but should be applicable to any scenario sharing the same intuition of ownership. We discuss the connection between ownership and the notion of desynchronization resistance and give the first formal definition of the latter. We apply our definitions to existing RFID protocols, exhibiting attacks on desynchronization resistance, secure ownership, and secure ownership transfer.

AB - We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitions are based on an intuitive notion of ownership related to physical ownership. They are aimed at RFID systems, but should be applicable to any scenario sharing the same intuition of ownership. We discuss the connection between ownership and the notion of desynchronization resistance and give the first formal definition of the latter. We apply our definitions to existing RFID protocols, exhibiting attacks on desynchronization resistance, secure ownership, and secure ownership transfer.

KW - Desynchronization resistance

KW - Formal verification

KW - Ownership

KW - Ownership transfer

KW - RFID protocols

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

U2 - 10.1007/978-3-642-04444-1_39

DO - 10.1007/978-3-642-04444-1_39

M3 - Conference contribution

AN - SCOPUS:70350399643

SN - 9783642044434

T3 - Lecture Notes in Computer Science

SP - 637

EP - 654

BT - Computer Security - ESORICS 2009

A2 - Backes, Michael

A2 - Ning, Peng

PB - Springer Verlag

CY - Berlin

T2 - 14th European Symposium on Research in Computer Security

Y2 - 21 September 2009 through 23 September 2009

ER -

van Deursen T, Mauw S, Radomirović S, Vullers P. Secure Ownership and Ownership Transfer in RFID Systems. In Backes M, Ning P, editors, Computer Security - ESORICS 2009 : 14th European Symposium on Research in Computer Security Saint-Malo, France, September 21-23, 2009. Proceedings. Berlin: Springer Verlag. 2009. p. 637-654. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-642-04444-1_39

Secure Ownership and Ownership Transfer in RFID Systems

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this