International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

On a New Formal Proof Model for RFID Location Privacy

Authors:
Ton van Deursen
Sasa Radomirovic
Download:
URL: http://eprint.iacr.org/2008/477
Search ePrint
Search Google
Abstract: We discuss a new formal proof model for RFID location privacy, recently proposed at ESORICS 2008. We show that protocols which intuitively and in several other models are considered not to be location private (or untraceable), are provably location private in this model, and vice-versa. 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 ID is transmitted in clear text to be weakly location private in the model. Finally, we consider a protocol with known weaknesses with respect to location privacy and show it to be location private in the model.
BibTeX
@misc{eprint-2008-18146,
  title={On a New Formal Proof Model for RFID Location Privacy},
  booktitle={IACR Eprint archive},
  keywords={cryptographic protocols / Location privacy, untraceability, RFID},
  url={http://eprint.iacr.org/2008/477},
  note={ sasa.radomirovic@uni.lu 14195 received 12 Nov 2008},
  author={Ton van Deursen and Sasa Radomirovic},
  year=2008
}