Security Model for RFID Communication Protocol Based on Password  Authenticated with Provable Security

Focusing on the issues of security and privacy protection of RFID technology and the limited resources of RFID tag, the paper proposes a password authenticated protocol for RFID system with provable security——pRPAP. In order to fundamentally solve the issues of security and privacy protection of RFID technology, the paper proposes to establish the security model of RFID communication. From the formalism point of view, the paper proposes to establish the security model of RFID communication with the formal description based on the random oracle mode. The model includes the communication model of RFID system、the attack model of RFID system and the security aim model of the protocol, and demonstrates the security of pRPAP under the model. The result shows that the protocol possesses provable security. In addition, the security model of RFID communication can effectively guide the choice of the parameters of pRPAP to establish RFID communication security protocols for the different security levels. The model will also contribute to further study on RFID communication security protocols.