A New Framework for RFID Privacy
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, the authors develop a new definitional framework for RFID privacy in a rigorous and precise manner. The framework is based on a Zero-Knowledge (ZK) formulation and incorporates the notions of adaptive completeness and mutual authentication. They provide meticulous justification of the new framework and contrast it with existing ones in the literature. In particular, they prove that the framework is strictly stronger than the ind-privacy model of, which answers an open question posed in for developing stronger RFID privacy models.