低成本RFID协议的设计及BAN形式化分析

The design of low-cost RFID protocols and BAN formal analysis

目的通过分析现有的典型RFID认证协议的效率与成本,针对数字化图书馆RFID认证协议的高成本问题,提出一个低成本的RFID认证协议。方法通过去掉标签中的随机数模块,然后利用阅读器存储能力强、存储随机数模块来确保发出消息的新鲜性。结果该低成本RFID认证协议仅使用一对提前预约好的密钥对,降低了标签的硬件成本和计算能力。结论通过BAN形式化分析,该协议达到了预期的安全协议的认证目标,非常适合于低成本的RFID系统。

Purposes--To put forward a low-cost RFID authentication protocol in accordance with the cost problem of the RFID authentication protocol for digital library by analyzing the efficiency and cost of existing classic RFID authentication protocol. Methods--By removing the random module, the great storage capacity of reader was used to ensure the freshness of outgoing message. Results--The aforesaid low-cost RFID authentication protocol only using a pair of scheduled key pair can reduce the cost and computing power of the tagged hardware. Conclusion--After the BAN formal analysis, this low-cost protocol can achieve the desired authentication goals of security protocol, which is very suit- able for the low-cost RFID system.