检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西安电子科技大学通信工程学院,西安710071 [2]中国科学院研究生院国家计算机网络入侵防范中心,北京100043
出 处:《计算机工程》2008年第8期164-166,169,共4页Computer Engineering
基 金:国家自然科学基金资助项目(60573048,60373040)
摘 要:对中国无线局域网国家标准(GB/XG 15629.11-20031-2006)WAPI中的认证密钥交换协议WAI进行了安全性分析,指出存在的一些缺陷并作了相应改进,给出改进的WAI'协议在CK安全模型下的安全性证明。分析结果表明,WAI'具备CK安全模型下相应的安全属性,符合WAPI标准的要求。This paper analyzes the security of the authenticated key exchange protocol WAI in WAPI,points out its flaws and improves it.The security proof of the new protocol WAI' in CK security model is given,which indicates that WAI' has the corresponding security attributes in CK security model,and satisfies the requirements of WAPI.
关 键 词:WAPI标准 WAI协议 CK安全模型 安全性分析
分 类 号:TP309.2[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.221.139.13