基于hash函数的移动射频识别互认证安全协议设计
Keywords: 移动rfid,互认证,hash函数,形式化分析,轻量级,gny逻辑
Abstract:
?为解决移动射频识别(rfid)中阅读器与后端服务器分离所产生的安全问题,设计出一种基于hash的轻量级认证协议,在无线通信环境下利用hash的单向性实现标签、阅读器和后端服务器之间三方的互相认证,防止重放攻击、非法读取、位置跟踪等一系列安全问题的发生;并将计算的主要成本转移到后端服务器,减小大规模应用标签的开支。对协议进行gny逻辑推理,证明其安全性足够满足应用的要求。
Full-Text