On a New Formal Proof Model for RFID Location Privacy

This paper discusses a recently proposed formal proof model for RFID location privacy. The authors 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, the authors also show that protocols which obviously are location private are not considered location private in this model. Specifically, the authors prove a protocol in which every tag transmits the same constant message to not be location private in the proposed model.