关键词: 射频识别, 共享密钥, 电子产品码（EPC）编码, GNY逻辑, 安全模型

Abstract: The current authentication protocol for RFID system is based on the pre-set shared key value. The adversary can obtain the key by some means, which will cause the security threat to the subsequent authentication. An RFID system key wireless gengeration protocol based on EPC tag is proposed. It encrypts a part of the EPC for communication to prevent the leakage of secret information, introduces the security model about tags and readers to improve the security of communications, keeps the freshness of the communication process by using random numbers in readers and only uses XOR operation to reduce tag’s costs and calculation. The proposed protocol is formally proven by GNY logic. The security analysis and performance analysis show that the protocol conforms to the security model and is able to resist both active attack and passive attack, with high security and low cost advantages.

Key words: Radio Frequency Identification（RFID）, shared key, Electronic Product Code（EPC）, GNY logic, security model