802.11i认证协议可验安全性形式化分析

来源 :中国工程科学 | 被引量 : 0次 | 上传用户:try111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
IEEE802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare—Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。
其他文献
【摘要】本文以桂林电子科技大学信息科技学院为例探讨独立学院商务英语专业课程群网络教学平台的构建,论述独立学院商务英语专业课程群网络教学平台建设的要求、课程群网络平台建设方案,提出课程群建设应具有紧密的系统关联性和整体性,达到课程群结构最优化设计目标。最终通过平台构建来提升教师的专业水平,并提高学生自主学习的积极性和实践应用能力。  【关键词】独立学院 商务英语专业课程群 网络教学平台构建  【中图
在以往的关系质量研究中,信任与关系质量的关系一直被认为是正向的、推动性的。本文通过引入关系学习,作为信任和关系质量关系的中间变量。通过研究关系学习的作用,本文认为
回酋2016引领中国智造2016年,格劳博迎来了90周年华诞。尽管市场仍处于调整阶段且并不稳定,格劳博人仍孜孜不倦,攻坚克难,令中国区乃至全集团范围内的发展和成就又跃升到了一个新
【摘 要】本文阐述利用水瓶、气球、花粉、墨汁、纸团等看似非常普通的物体来制作教具,向学生演示超重失重、布朗运动、自由落体等物理现象,使得物理课堂变得活泼生动。  【关键词】物理教学 自制教具 演示实验  【中图分类号】G 【文献标识码】A  【文章编号】0450-9889(2017)05B-0136-02  高中阶段的學生,其思维方式处在由感性认知向理性认知转变的过程,在高中物理课堂上,相关知识点
当前,我国每年“进城农民工一般保持在1亿2千万”左右,而因其农村的户籍、身份的边缘化,大部分被排斥在社会保障制度之外。这不仅将带来难以预料的城镇贫困和社会不稳定因素,也不
从中国海洋石油发展的不同阶段和角度,以海洋石油装备设施为载体,反映和勾绘海洋石油工业装备与设施的变迁和发展,突出了其作为海洋石油工业支撑平台的作用。
利用石家庄地区17 个地面气象站近39 a(1972 ~2010 年)的常规观测大风资料,在分析石家庄地区春季(3 ~5 月)年平均大风日数空间分布特征的基础上,依据春季大风划分的局地、区域及大
永磁无刷直流发电机,因无电刷原件、结构紧凑而得到广泛的应用。由于温升是永磁电机设计与使用的关键参数,对永磁发电机进行综合物理场分析是十分必要的。本文以一台永磁无刷直
日前,尚有约90%的机器人应用性质为共存或配合,人机协作(HRC)所占的比例(目前约10%)未来将显著提高。同时,机器人技术市场将整体得以发展——主要是在工业4.0和随之而来的工作流程灵活
2015年9月,我们到英国剑桥大学访学。儿子多多跟着我们一起来到英国,在剑桥米尔顿路小学读五年级。多多在米尔顿路小学读书期间,作为家长,我们时常参加学校的各种活动,这使得我们有机会体验英国的小学教育。  让体育运动成为生活方式  米尔顿路小学是英国剑桥一所公立小学,已有100多年的办学历史,“是一所快乐而成功的学校”。  与英国其他小学一样,米尔顿路小学早上9点上课,下午3点15分放学,这确保了学