3GPP认证与密钥协商协议安全性分析

被引：17

作者：

陆峰 ^{[1
,2
,3
]}

郑康锋 ^{[1
,2
,3
]}

钮心忻 ^{[1
,2
,3
]}

杨义先 ^{[1
,2
,3
]}

李忠献 ^{[1
,2
,3
,4
]}

机构：

[1] 北京邮电大学网络与交换技术国家重点实验室信息安全中心

[2] 北京邮电大学网络与信息攻防技术教育部重点实验室

[3] 灾备技术国家工程实验室

[4] 天津市国瑞数码安全系统有限公司北京研发中心

来源：

软件学报 | 2010年 / 21卷 / 07期

关键词：

认证; 密钥协商; 3G; 无线安全; 网络安全;

D O I：

暂无

中图分类号：

TN929.5 [移动通信]; TN918.1 [理论];

学科分类号：

080402 ; 080904 ; 0810 ; 081001 ; 070104 ;

摘要：

通用移动通信系统采用3GPP认证与密钥协商协议作为其安全框架,该协议对GSM存在的安全隐患作了有效的改进.对3GPP认证与密钥协商协议进行安全性研究,分析其容易遭受4种类型攻击方式.为了解决上述存在的安全隐患,提出在位置更新与位置不变两种情况下的基于公钥密码学的认证与密钥协商协议,采用形式化的分析方式证明了所提出算法的安全性,并将该协议与已有协议在安全性方面进行了比较.结果显示,所提出的协议算法能够极大地增强3GPP认证与密钥协商协议的安全性.

引用

页码：1768 / 1782

页数：15

共 7 条

[1] 3G认证与密钥分配协议的改进 [J].

刘峰 ;

李大兴 .

计算机工程与设计, 2006, (14) :2705-2707

[2] 基于串空间模型的3GPP认证密钥交换协议分析 [J].

蒋睿 ;

李建华 ;

潘理 .

上海交通大学学报, 2006, (05) :791-795

[3] 3G认证与密钥分发协议逻辑化分析 [J].

袁亚飞 ;

廉玉忠 .

信息工程大学学报, 2004, (04) :15-17+88

[4] 认证协议两种形式化分析方法的比较 [J].

卿斯汉 .

软件学报, 2003, (12) :2028-2036

[5] 3GPP网络AKA协议中若干算法的设计 [J].

姚惠明 ;

隋爱芬 ;

杨义先 .

北京邮电大学学报, 2002, (03) :98-102

[6]

Strand spaces: proving security protocols correct[J] . F. Javier Thayer Fábrega,Jonathan C. Herzog,Joshua D. Guttman.Journal of Computer Security . 1999 (2‐3)

[7]

Extension of authentication and key agreement protocol（AKA）for universal mobile telecommunication system（UMTS）. Saraireh JA,Yousef S. Int’l Journal of Theoretical and Applied Computer Sciences . 2006

← 1 →