中文摘要：

针对无线射频识别（RFID）系统密钥生成过程中存在的密钥托管、无线信道不安全和标签成本过高的问题,提出一种RFID系统密钥无线生成协议。在前、后向信道均可被窃听的假设前提下,通过引入假名标识以防止秘密信息泄露,仅采用简单位运算降低标签成本与计算量,利用异或和移位运算对通信信息进行加密传输,从而保证协议的安全性,并运用GNY逻辑对协议进行形式化证明。分别在单标签个体密钥生成、批量标签个体密钥生成以及群组标签组密钥生成3种应用下对协议进行安全与性能分析,结果表明,该协议具有较高的安全性和较低的成本。

英文摘要：

In view of the problems including the key escrow,the insecurity of the wireless channel and the high cost of the tag in the key generation process of Radio Frequency Identification （RFID） system, an wireless key generation protocol for RFID system is proposed. On the premise that the forward and backward channels can be eavesdropped, the paper introduces the pseudonym logo to prevent the disclosure of secret information. The paper only uses simple bit operations to reduce the tag cost and computation, and it uses Exclusive OR （XOR） and shift operations to encrypt and transmit information, which aims to ensure the security of protocol. The proposed protocol is formally proved by using GNY logic. The security and performance of the protocol are analyzed under three kinds of applications, which are the single label individual key generation, batch label key generation and group label key generation. It is proved that the proposed protocol has higher security and lower cost.