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, we develop a new definitional framework for RFID privacy in a rigorous and precise manner. Our framework is based on a zero-knowledge (ZK) formulation [7, 5] and incorporates the notions of adaptive completeness and mutual authentication. We provide meticulous justification of the new framework and contrast it with existing ones in the literature. In particular, we prove that our framework is strictly stronger than the ind-privacy model of [15], which answers an open question posed in [15] for developing stronger RFID privacy models. Along the way we also try to clarify certain confusions and rectify several defects in the existing frameworks. Based on the protocol of [17], we propose an efficient RFID mutual authentication protocol and analyze its security and privacy. The methodology used in our analysis is of independent interest and can be applied to analyz...

• Type: Conference
• Year: 2010
• Where: ESORICS
• Authors: Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao
• Keywords: ESORICS 2010, Formal RFID Security, RFID, RFID Privacy, Security Privacy