摘要
国际标准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.
出处
《电子与信息学报》
EI
CSCD
北大核心
2010年第9期2106-2111,共6页
Journal of Electronics & Information Technology
基金
国家高技术研究发展计划(863)(2007AA01Z429)
国家自然科学基金(60702059
60972078)
甘肃省自然科学基金(2007GS04823)
网络安全与密码技术福建省高校重点实验室开放课题(09A006)
兰州理工大学博士基金(BS14200901)资助课题
关键词
无线网络
认证协议
协议演绎系统
协议组合逻辑
WIMAX
Wireless network
Authentication protocol
Protocol Derivation System （PDS）
Protocol Composition Logic （PCL）
WiMAX
