Vulnerabilities of two recently RFID authentication protocols

The communication channel between the tag and the reader in radiofrequency identification technology (RFID) is unsecured, which makes it opened to logical attacks on authentication protocol. In this paper, we analyze the security of two recently proposed RFID authentication protocols for mobile reader. Firstly, a protocol proposed by Wei et al. (2011) and the second proposed by Jialiang et al. (2012). Our work is focused on the automatic verification of secrecy and authentication properties of RFID protocols. For vulnerability analysis of these protocols, we will use AVISPA tools. The main cause of the detected attacks is the abuse of the xor-operator properties employed by the protocols.