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

目前，RFID(radio frequency identification)系统安全问题日益突出，为了实现RFID系统信息安全与隐私保护，在标准模型提出了一个基于HB协议的RFID双向安全认证协议。利用规约技术证明协议的安全性，将攻击者的困难规约到伪随机函数与真正随机函数的不可区分性上。协议仅使用轻量级的伪随机发生器以及向量点乘运算，具有较高的安全性和效率。通过从安全性及性能两方面与其他认证协议进行比较，表明协议适用于低成本及存储资源受限的RFID标签。