贾庆轩，陈鹏，高欣，韦凌云，王鑫，赵兵



抗去同步化的轻量级RFID双向认证协议

贾庆轩1，陈鹏1，高欣1，韦凌云1，王鑫1，赵兵2

(1. 北京邮电大学自动化学院，北京，100876；2. 中国电力科学研究院，北京，100192)

针对低成本RFID应用中轻量级认证协议的安全性进行研究，提出一种组合型去同步化攻击方法，该类攻击不用篡改任何协议消息，仅通过拦截、窃听、重放等攻击手段的顺序组合就能导致后台数据库/标签的共享密钥失去同步；设计一种轻量级抗去同步化的RFID双向认证协议，并利用形式化工具CPN Tools模拟运行该协议，该协议可以达到预期状态空间；与同类RFID协议相比，该协议在满足一般隐私安全属性的同时，还能有效抵抗来自恶意阅读器的组合型去同步化攻击，同时能有效减少RFID系统的计算开销，弥补原始协议的不足，更适合低成本RFID系统应用的隐私安全需求。

射频识别技术；RFID双向认证协议；CPN形式化分析；去同步化攻击；隐私安全性

RFID(Radio frequency identification)认证协议是解决无线射频识别系统安全与隐私问题的有效手段，而低成本RFID在计算能力、存储空间、电源等方面存在诸多局限性，难以实现复杂的密码算法和大容量的数据存储，如何在低成本制造工艺的前提下实现高效、安全的RFID认证协议仍是一个亟待解决的问题，对解决无线射频系统的安全与隐私问题具有重要意义。目前国内外学者已经提出不少RFID系统的认证协议和方案，但都不能较全面地满足无线射频系统的隐私安全属性，不能得到广泛认可。……