The chapter first investigates privacy issues in RFID systems, namely information privacy threats and location privacy threats. RFID systems should be able to resist tag information leakage and tag tracking attacks. Next, the author presents a few formal models in which the notion of privacy in RFID systems is defined. To measure the privacy level of various RFID protocols, a formal privacy definition is needed. Formal models for RFID systems are continually being developed. Here, the chapter describes definitions of RFID systems, adversaries, experiments, and privacy in the most popular models so far: the Avoine model, the Juels-Weis model, and the Vaudenay model.
Particle Filtering-Based Indoor Positioning System for Beacon Tag Tracking