CCMP协议的量化可验安全分析

• 作者: 宋宇波 黄玉划
• 来源期刊: 东南大学学报(自然科学版)
• 学科: 工学
• 关键词: 无线局域网 CCMP 可验安全分析
• 年，卷（期）: 2008,（2）
• 页码范围: 206-210
• 页数: 5页
• 分类号: TP393.3
• 字数: 5301字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0505.2008.02.004

摘要

为了分析无线局域网IEEE802.11i标准中替换存在严重安全问题的WEP协议的CCMP协议的安全性能,利用Bellare的量化可验安全模型对CCMP建立形式化分析模型,从数据机密性保护和完整性保护两个方面,建立与攻击者攻击成功的概率有关的优势函数对CCMP协议进行量化可验分析.分析表明,CCMP协议的认证性和机密性对应的攻击成功概率分别为O(n)×2-64和O(n2)×2-128.该协议设计达到了预期的安全设计目标,满足无线局域网安全需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋宇波	东南大学信息安全研究中心	40	292	10.0	16.0
2	黄玉划	东南大学信息安全研究中心	13	104	6.0	10.0