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

第 32卷第 9期 电 子 与 信 息 学 报 V0l1．32NO．9 2010年 9月 JournalofElectronics InformationTechnology Sept．2010 协议组合逻辑安全的WiMAX无线网络认证协议 冯 涛①②③ 张子彬① 马建峰② (兰州理工大学计算机与通信学院 兰州 730050) (西安电子科技大学计算机网络与信息安全教育部重点实验室 西安 7100711 葛建师范大学网络安全与密码技术重点实验室 福州 350007) 摘 要：国际标准 IEEE802．16~2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协 议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性，发现PKMv2安全认证协议存在交错攻击，在此基础 上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议，并使用协议组合逻辑(PCL)给出新协 议的模块化正确性和安全性证明，新协议相对于 PKMv2安全认证协议更加安全，更适应 WiMAX无线网络复杂 的网络应用环境。 关键词：无线网络；认证协议；协议演绎系统；协议组合逻辑；WiMAX 中图分类号：TP309 文献标识码：A 文章编号：1009—5896(2010)09—2106—06 DOI：10．3724／SP．J．1146．2009．01191 SecurityAuthenticationProtocolforW iMAX W ireless NetworkBasedonProtocolCompositionLogic FengTao①②@ ZhangZi—bin① MaJian—feng② (SchoolofComputerandCommunication，LanzhouUniversityofTechnology，Lanzhou730050，China) (KeyLaboratoryofComputerNetworksandInformationSecurityofMinistryofEducation， XidianUniversity，Xi’an710071，China) (KeyLaboftheNetworkSecurityandCryptology，FujianNormalUniversity，Fuzhou350007，China) Abstract：IEEE 802．16~2005 standard’SPKM v2 protocolisan important secure guarantee for WiMAX (WorldwideInteroperabilityforMicrowaveAccess)wirelessnetwork．Inthispaper，basedonProtocol CompositionLogic(PCL)，thePKMv2authenticationprotocol’8securityisanalyzed，theinterleavingattackis found，andanewauthenticationprotocolisproposedbyusingtheProtocolDerivationSystem (PDS)inWiMAX wirelessnetworkbasedonthevulnerabilityofsystem security，finallyaformalcorrectnessandsecurityproofofit ispresentedwithProtocolCompositionLogic(PCL)．ThisnewprotocolismoresecurethanthePKMv2securi