论文部分内容阅读
利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析。分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷。在深入分析产生安全缺陷原因的基础上,进一步给出了改进方案。
IEEE 802.11r认证协议安全性分析及改进
【摘 要】
：
利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析。分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷。在深入分析产生安全缺陷原因的基
【机 构】
：
河南工业大学信息科学与工程学院,杭州华新机电工程有限公司项目部,陕西电力科学研究院市场部,西安电子科技术大学计算机学院
【出 处】
：
电子科技
【发表日期】
：
2010年9期
其他文献
通过对山东石质山地主要生态环境问题的分析，阐述了山地植被构建的目的和原则，并结合多年的研究和实地调查，提出了山地植被构建的关键技术措施。
生态经济规划是应用生态学和经济学的基本原理，根据社会、经济、自然等方面的信息从宏观综合的角度提出合理开发战略和开发层次，以及相应的土地及资源利用、生态建设和环境保护
进一步规范导学群的推进和应用，在更广阔的范围内付诸实践、付诸操作。针对导学群平台分校版的运行情况，对平台功能的改进提出见解，以便平台功能不断完善。
从唯物辩证法的角度来探讨和谐社会的应然与实然，主要从矛盾、联系、发展的观点出发，分别阐释和谐社会的构建是在矛盾运动过程中进行的；同时还要注意把握两种和谐：社会内部的和谐
摘要:21世纪已经到来,人们将进入以知识经济为特征的信息时代。微电子技术、计算机技术、通信网络技术和自动化技术将继续高速发展,作为工业自动化技术工具的自动化仪表与装置也将跨入真正的数字化、智能化、网络化的时代。传感技术、计算机技术与通信技术一起构成现代信息的三大基础。为此,本文从嵌入式系统在仪器仪表中应用的角度出发,介绍了软硬件协同设计的设计思想和各种嵌入式处理器,讨论了嵌入式Internet接入
摘要:随着新会计准则体系在中国企业范围内的陆续施行,其对企业的会计核算、报表列示、信息披露乃至管理理念等方面皆产生深刻影响。本文着重研究了新会计准则对财务分析的影响记新会计准则下具体财务分析方法。 关键词:新会计准则 财务分析 1 新会计准则对财务分析的影响 就财务分析角度而言,新会计准则的影响可以按三个层面来考查。 1.1 报表项目层面。这是指新会计准则体系施行后,所增加的一些报表项
随着硅微机械加工技术（MEMS）的快速发展，各种基于MEMS技术的器件应运而生。文中首先对传感器结构及工作原理进行了简单介绍，给出了一种基于MEMS技术制作的压阻式硅微加速度传感器
提出了一种双支路无力切换结构信息与通信学院2.5GB/s NRZ码的时钟恢复电路。整个电路由鉴相器、鉴频鉴相器、电荷泵、环路滤波器和压控振荡器组成。基于0.18μm CMOS工艺用C
针对以往ESB在系统集成中路由算法的缺点,提出了高工作效率的基于接收表ESB路由算法。阐述了此种路由算法的设计方法,并为提高系统集成的实时性,对路由算法给出了动态化的解