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

• 作 者: 宋宇波 黄玉划
• 机 构: 东南大学信息安全研究中心
• 出 处: 东南大学学报(自然科学版)
• 发表日期: 2008年2期
• 关键词: 无线局域网 CCMP 可验安全分析 wireless local area network（WLAN） counter mode with cipher bl

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