10.3969/j.issn.1001-0505.2010.06.007
基于串空间模型的UMTS AKA协议安全分析与改进
通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的攻击方法.然后,在3GPP规范的基础上,在服务网络端引入公钥机制,提出了改进的认证与密钥协商协议.最后,应用串空间模型理论及认证测试方法,对改进协议的机密性和双向认证正确性进行了形式化证明.研究结果表明:改进协议能够保证消息的新鲜性和网络-用户间的双向认证,克服T-AKA协议中存在的伪冒用户攻击及其他重放、伪冒攻击,具有高的安全性;协议设计中保留了3GPP规范的框架,避免了用户终端进行繁重的公钥运算,具有强的实用性.
AKA协议、认证、安全、UMTS、串空间模型、认证测试
40
TP393(计算技术、计算机技术)
国家自然科学基金资助项目60902008;常州市高技术研究重点实验室开放课题资助项日CM20103003
2011-01-28(万方平台首次上网日期,不代表论文的发表时间)
共6页
1163-1168