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

作     者：宋宇波 黄玉划 Song Yubo;Huang Yuhua

作者机构：东南大学信息安全研究中心南京210096 

基　　金：国家高技术研究发展计划(863计划)资助项目(2007AA01Z432 2007AA01Z433) 江苏省自然科学基金资助项目(BK2006108) 华为基金资助项目 国家242信息安全计划资助项目(2007A04) 

出 版 物：《东南大学学报（自然科学版）》 (Journal of Southeast University：Natural Science Edition)

年 卷 期：2008年第38卷第2期

页      码：206-210页

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

主 题 词：无线局域网 CCMP 可验安全分析 

学科分类：0810[工学-土木类] 12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0805[工学-能源动力学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1001-0505.2008.02.004

馆 藏 号：203286375...