Formal analysis of a novel RFID authentication protocol

One of the most important ubiquitous computing systems that have seen fast evolution during the last years, we cite radio frequency identification (RFID) system. There are numerous authentication protocols proposed to secure RFID systems. In our paper, we are interested in the recent work of Dass and Om who have proposed an RFID authentication protocol using pseudo-randomness property. The authors claimed that their protocol is efficient against different possible attacks. Using Automated Validation of Internet Security Protocols and Applications (AVISPA) tool and Ouali-Phan privacy model, we verify the security and the privacy properties of this protocol. We provide enough evidence to prove that this protocol does not satisfy the authentication and the untraceability properties.