无线网络抗DOS攻击及其形式化分析

来源 :桂林电子科技大学 | 被引量 : 0次 | 上传用户:ty532215014
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着网络技术的不断发展,无线网络不再只是有线网络的补充。无线网络技术取得了快速的发展。无线技术更加成熟:网络的速度更快,提供的服务范围更广,费用更加的低廉。但是,由于协议设计的复杂性,无线安全协议中普遍存在 DoS攻击缺陷。  本文首先分析了无线网络常使用的四种技术和规范:蓝牙、802.11、WIMAX和窝蜂无线,并对各种技术和规范进行了比较分析。在此基础上,讨论了WEP无线协议和802.11i健壮无线网络安全协议中涉及认证、加密算法和完整性服务的协议。通过对两个无线安全协议的比较分析,我们得出802.11和802.11i中都存在严重DoS攻击。  接着,分析了抗DoS攻击策略和相关技术。对DoS攻击类型和Client-puzzle类型给出了详细分析和分类。在分析相关puzzle困难度定义基础上,给出了根据puzzle求解步骤的完整puzzle困难度定义。接着,根据强困难度puzzle定义,构造了通用的Client-puzzle协议。基于博弈论原理,分析了Client-puzzle协议抗DoS攻击特性。最后,给出了基于Client-puzzle抗DoS攻击通用安全协议D(P)构造方法和协议。  最后,在分析了基于博弈论、Meadows cost-based框架、HIP、着色Petri Nets和串空间等相关协议抗 DoS分析理论基础上,基于串空间的可扩展性,给出了基于强难度Client-puzzle技术串空间扩展。应用扩展的串空间,给出了基于Client-puzzle无线网络认证协议串空间分析。
其他文献
学位