0 Citations
0 Reads
协议组合逻辑安全的WiMAX无线网络认证协议
冯涛
张子彬
马建峰
电子与信息学报, (09), pp 2106-2111, 2010-9-15
Summary
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境。
Keywords
无线网络; 认证协议; 协议演绎系统; 协议组合逻辑; WiMAX Wireless network; Authentication protocol; Protocol Derivation System (PDS); Protocol Composition Logic (PCL); WiMAX
Select Groups
Select Contacts
swap_vert Order by date
Order by date Order by name