Security and privacy analysis of RFID authentication protocol for ubiquitous computing

Radio frequency identification (RFID) is an emerging technology which brings enormous productivity benefits in applications where objects have to he identified automatically in mobile and ubiquitous computing. In this paper we describe problems of previous works on RFID security protocols and specify several known attacks and introduce a modified RFID security protocol which serves as a proof of concept for authentication an RFID tag to a reader device using the vernam and standard encryption as a cryptographic primitive. To verify our protocol, we use model checking methodology and then verify security properties such as secrecy and authentication using FDR(Failure Divergence Refinement) tool.