|
|||||
|
|
| 协议组合逻辑安全的4G无线网络接入认证方案 | |
| 引用本文： | 王丽丽,冯 涛,马建峰.协议组合逻辑安全的4G无线网络接入认证方案[J].通信学报,2012(4):77-84. |
| 作者姓名： | 王丽丽 冯 涛 马建峰 |
| 作者单位： | 1. 兰州理工大学计算机与通信学院,甘肃兰州730050 2. 福建师范大学网络安全与密码技术重点实验室,福建福州350007 3. 西安电子科技大学计算机网络与信息安全教育部重点实验室,陕西西安710071 |
| 基金项目： | 国家高技术研究发展计划(“863”计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~ |
| 摘 要： | 针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明.通过安全性证明和综合分析,表明该方案具有会话认证性和密钥机密性,能抵御伪基站攻击和重放攻击,并能提供不可否认服务和身份隐私性,同时提高了移动终端的接入效率 |
| 关 键 词： | 自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G |
Secure access authentication scheme for 4G wireless network based on PCL |
|
| WANG Li-li,FENG Tao,MA Jian-feng.Secure access authentication scheme for 4G wireless network based on PCL[J].Journal on Communications,2012(4):77-84. | |
| Authors: | WANG Li-li FENG Tao MA Jian-feng |
| Affiliation: | 1.School of Computer and Communication,Lanzhou University of Technology,Lanzhou 730050,China; 2.Key Lab of Network Security and Cryptology,Fujian Normal University,Fuzhou 350007,China; 3.Ministry of Education Key Laboratory of Computer Networks and Information Security,Xidian University,Xi’an 710071,China) |
| Abstract: | Considering the access authentication for mobile terminals in the 4G wireless network,a new secure access authentication scheme based on the self-certified public key system was designed.Then the deductive process of the scheme was derived with the protocol derivation system and its security attributes was formally proofed with protocol composition logic.By the security proof and comprehensive analysis,it is showed that the proposed scheme not only has session authentication and key confidentiality,but also can defend pseudo-base station attack and reply attack,provide the undeniable service and identity privacy.Moreover,the scheme can improve the access efficiency of the mobile terminals. |
| Keywords: | self-certified public key protocol composition logic protocol derivation system authentication protocol 4G |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《通信学报》浏览原始摘要信息 | |
| 点击此处可从《通信学报》下载全文 | |
