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

摘要

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