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

摘要：

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

关键词：无线局域网、CCMP、可验安全分析

所属期刊栏目：38

分类号：TP393.3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2007AA01Z432;2007AA01Z433;江苏省自然科学基金BK2006108;广东省深圳市华为技术有限公司资助项目2007A04

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：206-210