协议组合逻辑安全的WiMAX无线网络认证协议  

Security Authentication Protocol for WiMAX Wireless Network Based on Protocol Composition Logic

作　　者：冯涛[1,2,3] 张子彬[1] 马建峰[2] 

机构地区：[1]兰州理工大学计算机与通信学院,兰州730050 [2]西安电子科技大学计算机网络与信息安全教育部重点实验室,西安710071 [3]福建师范大学网络安全与密码技术重点实验室,福州350007

出　　处：《电子与信息学报》2010年第9期2106-2111,共6页Journal of Electronics & Information Technology

基　　金：国家高技术研究发展计划(863)(2007AA01Z429);国家自然科学基金(60702059;60972078);甘肃省自然科学基金(2007GS04823);网络安全与密码技术福建省高校重点实验室开放课题(09A006);兰州理工大学博士基金(BS14200901)资助课题

摘　　要：国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。IEEE 802.16e-2005 standard＇s PKMv2 protocol is an important secure guarantee for WiMAX （Worldwide Interoperability for Microwave Access） wireless network. In this paper,based on Protocol Composition Logic （PCL）,the PKMv2 authentication protocol＇s security is analyzed,the interleaving attack is found,and a new authentication protocol is proposed by using the Protocol Derivation System （PDS） in WiMAX wireless network based on the vulnerability of system security,finally a formal correctness and security proof of it is presented with Protocol Composition Logic （PCL）. This new protocol is more secure than the PKMv2 security authentication protocol,and more suitable for complicated wireless network application environment used in WiMAX.

关 键 词：无线网络 认证协议 协议演绎系统 协议组合逻辑 WIMAX 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]