国际标准IEEE 802.16e-2005 中PKMv2 协议的安全性是WiMAX 无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2 协议中认证协议的安全性,发现PKMv2 安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX 无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2 安全认证协议更加安全,更适应WiMAX 无线网络复杂的网络应用环境。
声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉