摘要： 提出一种新的RFID安全协议，利用已存储的随机序列产生伪随机数的机制代替随机数产生器。该协议采用阅读器和电子标签双方互相验证的机制，可以防止跟踪、非法阅读器读取标签数据、标签假冒、重放攻击等威胁。在保证安全等级的情况下减少了标签硬件电路的复杂程度，有效降低了RFID标签的设计成本。建立协议的理想化模型，利用BAN逻辑对该协议进行形式化分析，在理论上证明其安全性。

关键词: 安全协议, 随机数, BAN逻辑

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.

Key words: secure protocol, random value, BAN logic

中图分类号: 

• TP393.08