Provably Lightweight RFID Mutual Authentication Protocol

Simplest-Lightweight Authentication Protocol (SLAP) is one of the recent mutual authentication protocols for lightweight RFID environment. However, server impersonation attack can be launched on the aforementioned protocol. The main goal of this paper is to comprehensively verify the security weakness of SLAP. This paper also propose an alternative mutual authentication protocol which proven to be secure and convenient for lightweight RFID environment. The proposed protocol is verifed by a security protocol verifer, AVISPA, and benchmarked against the original SLAP. The results show that the proposed protocol has the comparable capability with SLAP in preventing known attacks and simultaneously removes the known security weakness on SLAP.