通信学报2012，Vol.33Issue(4)：77-84,8.
协议组合逻辑安全的4G无线网络接入认证方案
Secure access authentication scheme for 4G wireless network based on PCL
摘要
Abstract
Considering the access authentication for mobile terminals in the AC 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.关键词
自证实公钥/协议组合逻辑/协议演绎系统/认证协议/4GKey words
self-certified public key/ protocol composition logic/ protocol derivation system/ authentication protocol/ 4G分类
信息技术与安全科学引用本文复制引用
王丽丽,冯涛,马建峰..协议组合逻辑安全的4G无线网络接入认证方案[J].通信学报,2012,33(4):77-84,8.基金项目
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429) （"863"计划）
国家自然科学基金资助项目(60972078) （60972078）
甘肃省高等学校基本科研业务费基金资助项目(0914ZTB 186) （0914ZTB 186）
甘肃省自然科学基金资助项目(2007GS04823) （2007GS04823）
兰州理工大学博士基金资助项目(BS 14200901) （BS 14200901）
网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006) （09A006）
