【摘 要】
：
利用增强的BAN类逻辑-AUTLOG逻辑,对中国无线局域网安全标准无线认证和保密基础设施(WAPI)国家标准及实施方案的认证模型进行了深入分析,分析结果表明原国家标准中存在诸多安
【机 构】
：
西安电子科技大学,计算机网络与信息安全教育部重点试验室,陕西,西安,710071
【出 处】
：
全国抗恶劣环境计算机第十五届学术年会
论文部分内容阅读
利用增强的BAN类逻辑-AUTLOG逻辑,对中国无线局域网安全标准无线认证和保密基础设施(WAPI)国家标准及实施方案的认证模型进行了深入分析,分析结果表明原国家标准中存在诸多安全问题,无法实现全部的认证及密钥协商目标,不能提供足够级别的安全保护;而实施方案改正了原国家标准中密钥协商协议存在的安全缺陷,在协议执行结束时能够保证用户端和接入点实现对彼此的身份认证,并且使双方建立了共享的单播主密钥.实施方案能够达到预期的安全目标,具有完备的安全特性.最后对WAPI与IEEE802.11i在安全性和性能上进行了比较。
其他文献
主要分析和介绍了RAID(Redundant Array of Independent Disks)冗余独立磁盘阵列技术,对RAID不同分级的应用环境及优缺点进行比较分析,同时给出了RAID分级组合示例,并对各组
UEFI是最新一代BIOS技术,越来越受到人们的重视,概况了当前的发展状况,并分析了其相对传统BIOS的优势,对UEFI Framework(UEFI架构)、实现机制、安全漏洞和加载过程中的安全风
在新型导弹的研制过程中,为了实现导弹与载机火控系统的接口协调联试以及后期的地面试验、模拟发射训练、日常训练、载机武器系统性能检测等,均需要研制导弹模拟器,以便提高
漏洞挖掘技术和攻击技术在信息安全领域占有重要地位.它们不但能使攻击者入侵系统,也能帮助防御者抵御进攻.鉴于国外在这方面起步较早,发展较快,主要介绍了国外的漏洞挖掘和
总结抗恶劣环境光纤收发器产品设计、调试过程中所遇到的问题和经验,详细阐述信号完整性的成因及其解决方案,具有一定的实用性和可推广性。
根据现有的结算机体系架构存在的安全威胁提出了一种新的基于虚拟化技术的可信网络模型,这种模型可以解决和削弱目前仍然存在的多种安全问题和安全威胁.根据现有的技术条件,
简要介绍了当前应用较为广泛的组件技术,并对其进行分析比较,在此基础上提出在嵌入式实时操作系统上实现组件技术的方案.
可穿戴计算机的应用前景很广泛,提高抗振性能是其实用化急需解决的关键技术之一.可穿戴计算机所提供的全新的人机交互模式,决定了人体环境即为其工作环境.研究可穿戴计算机工
当软件的运行结果同预期不一致时,软件发生失效.软件失效表明软件中存在错误,开发人员需要对软件进行调试,以发现引发软件失效的问题所在,这就是故障定位问题。有效的故障定
近年来,随着对Adhoc路由协议研究的深入,提出了许多路由协议,混合型路由协议ZRP(ZoneRoutingProtocol)协议就是其中之一.ZRP在路由区域内执行主动路由协议来维护区域内节点的