无线网络抗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无线网络认证协议串空间分析。
其他文献
众所周知Gorensrein投射,内射和平坦模在Artinian代数表示理论中扮演了很重要的角色。例如:Gorenstein定理有如下的多种形式,如:G-维数型,A型,GPD型,GFD/FID型,和Auslander-B
国家有利政策刺激工业自动化行业增长SIAF广州国际工业自动化技术及装备展览会将于2016年3月8日~10日于中国进出口商品交易会展馆举行。展览会是欧洲最大的电气自动化展SPS I
本文分析了大数据的特征和应用,阐述了教育资源整合过程中还面临的困境,对学校进行教育资源整合和转型的途径进行了阐述.
一个图G上的动态生长随机游动是这个图上的一个与自己之前轨迹不交的非马尔科夫的随机游动。本文综述图上的动态生长随机游动的已有结论。特别是对Zd上的Laplace型随机游动,我
学位
本论文研究三维和三维以上欧氏空间Rn中能量临界的复Ginzburg-Landau方程柯西问题解的无粘性极限行为.证明了,在低维情形,即3≤n≤6时,Ginzburg-Landau方程的解在C(0,T,Hs(Rn))中
本论文对具有广泛实际应用背景的含有时滞的偏微分方程进行了深入研究,该研究对相关理论的发展和很多实际问题的解决具有重要意义。主要研究了两类时滞KdV方程孤立波及周期行
实验金融主要应用实验室实验的方法来研究金融市场和金融理论。一方面,实验金融可以将投资者的心理和行为作为研究对象,拓展了传统金融学的研究范畴;另一方面,实验金融寻求通过简
高校体育是做为学校体育的走后一站,是学生形成体育兴趣、培养良好体育行为习惯的重要时期,高校体育同时肩负着大学生身体健康,并培养其掌握健身知识、方法,使其终身受益的重
本文主要研究平面Tiling的两种重要类型: Normal Tiling和自仿Tiling.平面Tiling是平面的一种无缝隙无重叠覆盖,作为一类特殊的几何对象,两个最基本的问题就是怎样的Tile可以生成