通用可组合安全的WLAN密钥交换协议

来源 :计算机应用研究 | 被引量 : 3次 | 上传用户:yayiyefly
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
安全性是WLAN应用的核心问题,IEEE802.11i定义了WLAN安全基础框架,其中,四次握手协议4-WAY实现会话密钥交换与更新。分析表明4-WAY易遭受拒绝服务攻击,提出了一种改进会话密钥协商协议3-WAY,分析表明该协议具有更好的消息认证和完整性保护,以及高效性。采用通用可组合安全模型对3-WAY进行分析,证明该协议能够实现密钥交换理想函数,具有通用可组合安全性。该协议具有广泛适用性。
其他文献
在经典差分进化的基础上,提出了一种基于空间距离的多目标差分进化算法(SD-MODE),与目前经典算法NSGA-Ⅱ和ε-MOEA进行比较,结果表明该算法拥有良好的分布性,同时也较好地改善了收敛性。
提出了一种可用于构造抗抖动的结构化P2P覆盖网系统的负载均衡算法——logN-VS algorithm。该算法基于虚拟服务器,包括节点首次加入算法、应对网络变化的节点自适应算法,以及为应对节点首次加入时有少于logN/2的VS被激活的极端情况的基于局部网络快照的节点再加入算法。仿真实验和性能分析都证明了该算法能够有效构造具有较好数据查找效率、较强的负载均衡能力和应对网络抖动能力的结构化P2P覆盖网
基于小波分析的特点,提出了一种对信号数据进行多重小波变换阈值去噪的方法。新的阈值函数的构造是在研究D.L.Donoho和I.M.Johnstone提出的小波阈值去噪方法的基础上完成的。与传统的软硬阈值函数相比,新阈值函数在整个定义域内统一定义,表达式简单易于计算,与软阈值函数一样具有连续性,而且是高阶可导的,便于进行各种数学处理,克服了硬阈值函数不连续、软阈值函数中估计小波系数与分解小波系数之间存
分析了动态耦合振荡神经网络(DCNON)的数学模型和工作原理,以及在图像分割应用中的不足;根据振荡神经网络的动力学特点,借鉴机械波传播模型,提出一种基于耦合势能衍射检测的改进DCNON图像分割算法,通过改进动态耦合振荡神经网络框架和改善算法结构来提高DCNON的运算效率。通过MATLAB对改进DCNON算法的仿真,对比原始分割算法,验证了改进算法有效地压缩了运算时间。
对植物分类鉴定数据库软件的功能要求及各功能模块(用户管理、升级、信息检索、软件激活、信息录入、查阅)的设计思路作了阐述,并对植物物种实体标本与电子图像标本的优劣作
介绍了膏桐(Jatropha curcas)的生物学特性。作为世界公认的生物能源树,分析了在云南省发展膏桐产业的良好前景。并对目前已在双江县种植的666.7hm^2膏桐基地进行了静态和动态经
采用GARMIN的eTrex Venture(奇遇)手持型GPS接收机,以广西国有沙塘林场为实验区,通过野外实地数据采集、GPS数据下载及后处理、坐标系转换、地形图配准、GPS数据与GIS数据叠加等,探索了一套快速、准确森林资源调查规划的工作流程。研究结果表明:采用GPS与GIS技术进行森林资源的调查、规划具有速度快、精度高、耗费低等特点,是一种实用的方法。
森林资源资产的评估,主要是林木资产和林地资产的评估。林木资产的评估有市场法、剩余法、收益法、成本法等。林地资产的评估有现行市价法、林地期望法、年金资本化法等。由于
用户在移动WiMAX网络间切换时要进行认证和密钥获取,此过程会耗掉很长的切换时间,对切换性能造成很大的影响。为了降低切换时延,提出把上下文传输协议和认证过程结合起来的机制。该机制是在WiMAX网关中设计context模块,利用context模块对密钥进行存储和分发。实测结果表明,该机制降低了用户切换时认证时延。
提出了基于AdaBoost目标检测算法的机械臂抓取控制,当通过AdaBoost算法检测到目标物体,通过串口发送数据给单片机;单片机分析处理数据生成控制指令控制机械臂运动,实现了机械臂的动态抓取。