陈秀清　曹天杰　翟靖轩（徐州医科大学医学信息学院徐州221008）（中国矿业大学计算机科学与技术学院徐州221008）



可证明安全的轻量级RFID所有权转移协议

陈秀清①曹天杰*②翟靖轩②①
①（徐州医科大学医学信息学院徐州221008）
②（中国矿业大学计算机科学与技术学院徐州221008）

设计安全的无线射频识别协议有助于实现“智慧城市”的规划和构建完善的智慧网络。安全的RFID所有权转移协议要求同时具备安全性和隐私性，标签的前向不可追踪性和后向不可追踪性是RFID系统实际应用中需要考量的两个重要的隐私性能。针对现有供应链系统中所有权转移协议存在的各种安全隐私问题，该文改进了原有前向不可追踪性定义的错过密钥更新过程的不合理的假设，提出了强前向不可追踪性的概念。提出了一个基于二次剩余定理的轻量级RFID所有权转移协议，并使用改进的模型和定义形式化证明了协议的安全性和隐私性。证明结果表明新方案既可以抵御内部读卡器恶意假冒攻击，追踪攻击，标签假冒攻击和异步攻击，又满足强前向不可追踪性和后向不可追踪性等隐私性能；新协议在实现低成本和高效率认证的基础上，比其他协议安全性和隐私性更好。

无线射频识别；所有权转移协议；强前向不可追踪性；后向不可追踪性；二次剩余定理

列表式和密钥更新式RFID协议［6］实现了标签的信息对阅读器的匿名安全性和不可追踪隐私性。最近文献［7］介绍了前向隐私性、后向隐私性和受限后向隐私性的定义。……