您的位置： 专家智库 > >

国家242信息安全计划(2007A04)

作品数：2 被引量：4H指数：1
相关作者：宋宇波姚冰心胡爱群黄玉划更多>>
相关机构：东南大学更多>>
发文基金：国家242信息安全计划江苏省自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇无线
  • 1篇无线局域
  • 1篇无线局域网
  • 1篇局域
  • 1篇局域网
  • 1篇安全性

机构

  • 2篇东南大学

作者

  • 2篇宋宇波
  • 1篇胡爱群
  • 1篇黄玉划
  • 1篇姚冰心

传媒

  • 1篇东南大学学报...
  • 1篇中国工程科学

年份

  • 1篇2010
  • 1篇2008
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
802.11i认证协议可验安全性形式化分析被引量：4
2010年
IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。
宋宇波胡爱群姚冰心
关键词：形式化分析
CCMP协议的量化可验安全分析
2008年
为了分析无线局域网IEEE802.11i标准中替换存在严重安全问题的WEP协议的CCMP协议的安全性能,利用Bellare的量化可验安全模型对CCMP建立形式化分析模型,从数据机密性保护和完整性保护两个方面,建立与攻击者攻击成功的概率有关的优势函数对CCMP协议进行量化可验分析.分析表明,CCMP协议的认证性和机密性对应的攻击成功概率分别为O(n)×2-64和O(n2)×2-128.该协议设计达到了预期的安全设计目标,满足无线局域网安全需求.
宋宇波黄玉划
关键词：无线局域网
全选 清除 导出
共1页<1>
聚类工具0