基于伪ID的RFID认证协议及串空间证明

摘要：

安全有效的认证协议是对RFID系统安全的有力保障,适宜的形式化分析方法能为RFID认证协议提供有效的证明.设计了基于伪ID的RFID认证协议,伪ID由标签ID、标签认证数值和随机数产生.标签ID不出现在协议执行过程中,减少了系统遭受攻击的可能性.协议通过标签ID、标签认证值和随机数的Hash运算实现认证.利用串空间模型对协议进行形式化分析,建立认证协议的串空间模型丛图,证明了协议的保密性和匿名性.通过分析常规的基于Hash函数的认证协议的性能可知,该协议在使用较低运算成本的情况下可以抵抗多种攻击,并能够完成标签和读写器之间的双向认证.

关键词：认证协议、RFID、Hash、串空间

所属期刊栏目：44

分类号：TN918.91

资助基金：国家自然科学基金61401154

在线出版日期：2017-11-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：142-146,176