On a new formal proof model for RFID location privacy

Ton van Deursen (Lead / Corresponding author), Saša Radomirović

Research output: Contribution to journalArticle

11 Citations (Scopus)

Abstract

We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model. Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.

Original languageEnglish
Pages (from-to)57-61
Number of pages5
JournalInformation Processing Letters
Volume110
Issue number2
Early online date30 Oct 2009
DOIs
Publication statusPublished - 16 Dec 2009

Fingerprint

Location Privacy
Formal Proof
Radio Frequency Identification
Radio frequency identification (RFID)
Model

Keywords

  • Cryptography
  • Formal proof models
  • Location privacy
  • RFID protocols
  • Untraceability

Cite this

@article{79a0815cae5346ceb06da9cee6f9e7b8,
title = "On a new formal proof model for RFID location privacy",
abstract = "We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model. Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.",
keywords = "Cryptography, Formal proof models, Location privacy, RFID protocols, Untraceability",
author = "{van Deursen}, Ton and Saša Radomirović",
note = "Ton van Deursen was supported by a grant from the Fonds National de la Recherche (Luxembourg).",
year = "2009",
month = "12",
day = "16",
doi = "10.1016/j.ipl.2009.10.007",
language = "English",
volume = "110",
pages = "57--61",
journal = "Information Processing Letters",
issn = "0020-0190",
publisher = "Elsevier",
number = "2",

}

On a new formal proof model for RFID location privacy. / van Deursen, Ton (Lead / Corresponding author); Radomirović, Saša.

In: Information Processing Letters, Vol. 110, No. 2, 16.12.2009, p. 57-61.

Research output: Contribution to journalArticle

TY - JOUR

T1 - On a new formal proof model for RFID location privacy

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/12/16

Y1 - 2009/12/16

N2 - We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model. Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.

AB - We discuss a recently proposed formal proof model for RFID location privacy. We show that protocols which intuitively and in several other models are considered not to be location private, are provably location private in this model. Conversely, we also show that protocols which obviously are location private, are not considered location private in this model. Specifically, we prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model. Then we prove a protocol in which a tag's identity is transmitted in clear text to be weakly location private in the model.

KW - Cryptography

KW - Formal proof models

KW - Location privacy

KW - RFID protocols

KW - Untraceability

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

U2 - 10.1016/j.ipl.2009.10.007

DO - 10.1016/j.ipl.2009.10.007

M3 - Article

VL - 110

SP - 57

EP - 61

JO - Information Processing Letters

JF - Information Processing Letters

SN - 0020-0190

IS - 2

ER -