@inproceedings{66dd49570f7b4345a704de81e0c4cc6f,
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",
year = "2009",
doi = "10.1007/978-3-642-04444-1_39",
language = "English",
isbn = "9783642044434",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "637--654",
booktitle = "Computer Security - ESORICS 2009",
note = "14th European Symposium on Research in Computer Security 2009, ESORICS 2009 ; Conference date: 21-09-2009 Through 23-09-2009",
}