基于不可追踪模型的轻量级rfid认证协议

在ha等提出的基于hash函数的低成本rfid认证协议中,敌手捕获标签和读卡器之间传送的信息后,就可以实现跟踪攻击。在分析ha等提出的低成本rfid认证协议的基础上,设计出了效率更高的追踪攻击算法。ha等提出的低成本rfid认证协议易于遭受追踪攻击,敌手可以从低位到高位,逐个比特位地猜测出合法的标签密钥的比特位,针对这一缺点提出了可以抵抗追踪攻击的改进协议,并用不可追踪模型形式化证明了该协议不可追踪的鲁棒性。