Robust RFID Authentication Protocol with Formal Proof and Its Feasibility

Miyako Ohkubo, Shin'ichiro Matsuo, Yoshikazu Hanatani, Kazuo Sakiyama, Kazuo Ohta. Robust RFID Authentication Protocol with Formal Proof and Its Feasibility. IACR Cryptology ePrint Archive, 2010:345, 2010. [doi]

Abstract

Abstract is missing.