3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配 (AKA)协议 ,网络归属位置寄存器 /访问位置寄存器 (HLR/VLR)对用户UE(用户设备 )的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式 ,前者采用基于“询问 应答”式的认证过程 ,后者采用基于“知识证明”式的认证过程。使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析 ,指出在假定HLR与VLR之间系统安全的前提下 ,基于“知识证明”式的认证过程仍然存在安全漏洞。 3GPP采取基于顺序号的补充措施 ;同时 。

BAN逻辑及其在协议认证中的缺陷

BAN逻辑可以证明协议是否能够达到预期目标，还能够发现协议中存在的一些缺陷。论文在分析了BAN逻辑的主要规则和分析步骤之后，着重研究了BAN逻辑存在的各类缺陷，并对BAN类逻辑需要改进的方面进行了讨论。

一种改进的满足后向安全的RFID双向认证协议

针对在物联网应用中,现有的RFID双向认证协议存在认证效率低和安全隐患等问题,提出了一种满足后向安全的RFID双向认证协议,采用随机数使标签保持信息的新鲜性,从而实现标签与阅读器之间的双向认证;通过Rabin加密算法的运算单向性,来解决同步以及后向安全的问题;并采用BAN逻辑方法对协议进行了形式化证明。该协议与现有的此类安全认证协议进行安全性和成本比较,结果表明该协议不仅具有防跟踪、抗暴力破解、防重放攻击等特点,而且还可以实现双向认证,同时因为门电路的减少,使得成本下降,适用于低成本的RFID系统。

一种改进的满足后向隐私的RFID认证协议

针对在物联网应用中,现有的RFID安全认证协议存在安全缺陷和认证效率低等问题,提出了一种满足后向隐私的RFID双向认证协议,它通过Rabin加密算法的运算单向性来解决同步以及后向隐私的问题,并采用随机数使标签保持信息的新鲜性。采用BAN逻辑方法对协议进行了形式化证明。将该协议与现有的此类安全认证协议进行了安全性和成本比较,结果表明该协议不仅具有防跟踪、抗暴力破解、防重放攻击等特点,而且因为门电路的减少,使得成本下降,适用于低成本的RFID系统。