Jisuanji gongcheng
RFID Secure Protocol Based on Random Sequence
Yiju Zhan
Abstract
This paper proposes a new RFID secure protocol which uses the mechanism that the random sequence stored in the tag produces the pseudo random number to replace the random value generator.With both tag-to-reader and reader-to-tag authentication,the protocol can prevent the RFID system from some malicious attack,such as tracking,spoofing,forgery,and replay attack.It reduces the tag designing cost while ensuring the security grade.After setting up an idealized protocol model,a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.