On a new formal proof model for RFID location privacy

Ton van Deursen, 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
DOIs
Publication statusPublished - 16 Dec 2009

Keywords

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications

Fingerprint Dive into the research topics of 'On a new formal proof model for RFID location privacy'. Together they form a unique fingerprint.

Cite this