基于串空间模型的UMTS AKA协议安全分析与改进

• 作者: 蒋睿 邢媛
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: AKA协议 认证 安全 UMTS 串空间模型 认证测试
• 年，卷（期）: 2010,（6）
• 页码范围: 1163-1168
• 分类号: TP393
• 字数: 6056字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2010.06.007

摘要

通过分析Oh等设计的T-AKA协议,发现该协议无法实现网络对用户的正确认证及消息的新鲜性验证,并利用该安全漏洞构造出了伪冒用户的攻击方法.然后,在3GPP规范的基础上,在服务网络端引入公钥机制,提出了改进的认证与密钥协商协议.最后,应用串空间模型理论及认证测试方法,对改进协议的机密性和双向认证正确性进行了形式化证明.研究结果表明:改进协议能够保证消息的新鲜性和网络-用户间的双向认证,克服T-AKA协议中存在的伪冒用户攻击及其他重放、伪冒攻击,具有高的安全性;协议设计中保留了3GPP规范的框架,避免了用户终端进行繁重的公钥运算,具有强的实用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋睿	东南大学信息科学与工程学院	12	56	5.0	7.0
2	邢媛	东南大学信息科学与工程学院	1	6	1.0	1.0