标准模型下可证明安全的 RFID 双向认证协议

摘要

目前,RFID(radio frequency identification)系统安全问题日益突出,为了实现 RFID 系统信息安全与隐私保护,在标准模型提出了一个基于 HB 协议的 RFID 双向安全认证协议。利用规约技术证明协议的安全性,将攻击者的困难规约到伪随机函数与真正随机函数的不可区分性上。协议仅使用轻量级的伪随机发生器以及向量点乘运算,具有较高的安全性和效率。通过从安全性及性能两方面与其他认证协议进行比较,表明协议适用于低成本及存储资源受限的 RFID 标签。%The security issue of RFID is becoming more and more serious, in order to protect the RFID’s information se-curity and privacy, a mutual authentication protocol for RFID based on HB protocol was proposed in the standard model. The security proofs for this novel protocol was given by using the reduction method, and the attacker’s hardness was re-duced to the indistinguishability between pseudo-random function and real random function. The implementation of pro-posed protocol only required lightweight pseudo-random generator and vector dot product operation and provided higher security and efficiency. The comparisons of security and performance were also given with other authentication protocols, the results show that the proposed protocol is feasible for RFID tags which are low cost and resource-constrained.