电子与信息学报
電子與信息學報
전자여신식학보
JOURNAL OF ELECTRONICS & INFORMATION TECHNOLOGY
2010年
9期
2106-2111
,共6页
无线网络%认证协议%协议演绎系统%协议组合逻辑%WiMAX
無線網絡%認證協議%協議縯繹繫統%協議組閤邏輯%WiMAX
무선망락%인증협의%협의연역계통%협의조합라집%WiMAX
国际标准IEEE 802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证.论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMAX无线网络安全认证协议,并使用协议组合逻辑(PCL)给出新协议的模块化正确性和安全性证明,新协议相对于PKMv2安全认证协议更加安全,更适应WiMAX无线网络复杂的网络应用环境.
國際標準IEEE 802.16e-2005中PKMv2協議的安全性是WiMAX無線網絡安全的重要保證.論文基于協議組閤邏輯(PCL)分析瞭PKMv2協議中認證協議的安全性,髮現PKMv2安全認證協議存在交錯攻擊,在此基礎上基于協議縯繹繫統(PDS)提齣瞭一種新的WiMAX無線網絡安全認證協議,併使用協議組閤邏輯(PCL)給齣新協議的模塊化正確性和安全性證明,新協議相對于PKMv2安全認證協議更加安全,更適應WiMAX無線網絡複雜的網絡應用環境.
국제표준IEEE 802.16e-2005중PKMv2협의적안전성시WiMAX무선망락안전적중요보증.논문기우협의조합라집(PCL)분석료PKMv2협의중인증협의적안전성,발현PKMv2안전인증협의존재교착공격,재차기출상기우협의연역계통(PDS)제출료일충신적WiMAX무선망락안전인증협의,병사용협의조합라집(PCL)급출신협의적모괴화정학성화안전성증명,신협의상대우PKMv2안전인증협의경가안전,경괄응WiMAX무선망락복잡적망락응용배경.