网络协议模糊测试系统的设计与实现

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:robinlaikankan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
网络设备作为国家重要的基础设施之一,其在安全方面的表现越来越受到公众的重视,网络协议作为支撑网络设备运行的重要组件,其安全性尤为关键。模糊测试是安全研究人员测试软件漏洞的重要技术之一,已被广泛应用到各个领域。现阶段针对网络协议的模糊测试技术,主要集中在黑盒模糊测试,虽然其测试速度快,但是由于测试样例生成的随机性和盲目性,导致测试效果往往不如利用了执行时信息反馈的灰盒模糊测试。如何利用灰盒模糊测试技术对网络协议软件进行更便捷、更有效、更通用的测试是一个值得深入研究的问题。针对上述问题,本文通过目标分析、方案设计等工作,提出并实现网络协议灰盒模糊测试系统。核心工作如下:(1)研究网络协议灰盒模糊测试系统整体框架。通过分析网络协议模糊测试的难点和现有方案的优缺点,总结出针对网络协议模糊测试的三大目标,分别是简化模型文件构建过程、提高代码覆盖率和增强可拓展性,并设计网络协议灰盒模糊测试系统整体框架。(2)研究网络协议灰盒模糊测试系统关键技术。针对目标一,研究模型文件自动生成技术,提出了语法简洁的模板输入方案,能够减少测试人员的输入规模,快速生成有效的模型文件。针对目标二,研究基于状态导向的灰盒模糊测试技术,设计了灰盒模糊测试引擎和智能状态导向引擎,保证测试系统能够针对网络协议任一可达状态进行灰盒模糊测试,同时支持对预设的多个目标状态自动连续测试。针对目标三,研究模式控制技术,实现了对网络协议服务器端、客户端和路由协议软件三种模式的支持,保证测试系统的可拓展性和通用性。(3)设计网络协议灰盒模糊测试系统验证实验。为验证模型文件自动生成能力,基于OSPF协议模型文件自动生成实验,从代码输入规模、语法复杂性和生成模型文件有效性三个方面分析了模型文件自动生成的优势。为验证测试系统提升代码覆盖率的能力,对DNS服务器、RTSP服务器进行测试,并将测试结果与AFLNET、Peach工具进行对比。为验证测试系统模式控制能力,对Pica8白盒交换机中使用的FTP客户端和TFTP客户端、Quagga软件中的RIP协议实现和OSPF协议实现进行了测试。结果表明,本文设计的网络协议灰盒模糊测试系统能够有效简化模型文件构建过程,提高代码覆盖率,同时具备较强可拓展性和通用性。
其他文献
重构核质点法(Reproducing Kernel Particle Method,简称 RKPM)是一种有广泛发展前景的无网格方法,具有优良特性。它可以避免大变形分析中由网格畸变引起的计算困难,避免移动不连续问题中耗时的网格重构。由于采用光滑连续的核函数,得到的解及其各阶导数都是连续的,具有较高的精度。此外,它的前处理过程更为简单,在很大程度上减少了人工工作量。针对 RKPM 是一种伽辽金型的无
随着电子信息产业的发展,人们的生活已经越来越离不开电子设备和互联网。各种各样的APP为了收集用户反馈,纷纷设置了评论业务。这些评论文本中包含了大量有价值的信息,利用这些信息,商家一方面可以更加了解用户的爱好,为用户做出推荐,另一方面可以更加了解自身的不足和缺点,对自身的服务进行改进。但是,面对海量的评论信息,商家或平台往往没有足够的人力去阅读它们,因此,基于深度学习和机器学习的自然语言处理技术就派
油水混合液的快速、高效分离是海洋油气开采和输送中亟待解决的技术问题。设计小型、快速、高效的复合式油水分离器是目前油水分离技术研究的一个方向。螺旋管油水分离器是一种体积小、效率高的分离设备,管内两相流动和分离过程的研究对于分离器的设计有重要意义。本文利用 FLUENT 软件,采用不可压湍流 Navier-Stokes 方程和两相流动的 Euler 模型,对螺旋管内油水两相流动和分离过程进行了数值研究
在现代通信体系下人们需要更高的无线信号传输速率和更优的信号质量。传统的雷达探测系统大多采用均匀阵结构,其较低的角度分辨率和较小的阵列孔径,日益无法满足当下无线信号传输技术的发展需要。稀布阵雷达相对于均匀满阵雷达,在相同数量阵列单元情况下拥有更大的阵列孔径、更高的探测精度和更灵活的阵列设计方式,但是当前稀布阵的研究还只停留在平面相控阵层面,对于频控阵和其他几何形式阵列的稀布技术研究还非常欠缺。此外在
“互联网+”的大力发展使得全球数据生产量大幅上涨,其中非结构化数据占到了数据总量的80%,成为了全球数据的主要构成部分。非结构化数据处理一直是自然语言处理领域研究的重点和难点。知识图谱的出现为大数据处理与应用提供了一套完整可行的解决方案,知识图谱构建中的信息抽取与融合作为基础任务受到了广泛的关注。本文面向非结构化数据,围绕知识图谱中的信息抽取与信息融合任务开展了一系列的研究。在信息抽取技术研究中提
近年来,随着5G等网络技术的快速发展,许多新的网络应用随之兴起,诸如无人驾驶、远程手术、增强现实等网络应用对于互联网时延的要求越来越高,传统的TCP/IP网络在传输数据包时对于数据包的行为缺乏统一的调度和规划,数据包时延存在长尾效应,难以保证业务的服务质量(Quality of Service,QoS)。时间敏感网络的出现给传统网络做出了改进。时间敏感网络的核心思想是减少转发过程中的排队时延。首先
LEO卫星通信系统具有通信时延低、研发成本低以及通信组网灵活等优势,受到了各航天科技大国的重点关注。而高效、可靠的星间路由算法对卫星网络性能发挥至关重要。但是,目前的LEO卫星网络星间路由算法在可靠性方面仍然存在诸多挑战:一方面,由于LEO卫星网络的高动态拓扑变化、全球流量分布不均衡,致使卫星节点和链路易发生拥塞;另一方面,由于受星间链路稳定性差、开放性、暴露性等特点的影响,网络内部路由易遭受恶意
旋转数频繁地出现在非线性常微分方程中,这是因为旋转数本身孕育着非常丰富的内涵,有着重要的理论和应用价值,且还没有完全被我们所了解。本文以具有几乎周期势函数的非对称方程:(x|¨) + p(t)x+ + q(t)x= 0为基本模型,系统地阐述这类方程的旋转数的存在性,并用势函数的的某种新模对线性方程:(x|¨) + p(t)x = 0和非对称方程:(x|¨) + p(t)x+ + q(t)x = 0
随着车载终端的飞速发展,车辆在采集和处理数据的能力得到了大幅度的提升,使得众包这种新兴的应用模式在车联网中逐渐流行起来。在车联网众包应用中,车辆不仅能够参与众包任务,为采集服务数据作出贡献,也能够按需地发起数据请求,获得服务数据。然而,在数据采集/请求时出现的隐私泄露风险,严重阻碍了车联网众包的广泛应用。车辆用户在数据采集/请求时,一般包含了用户相关的隐私信息,如身份、位置、查询内容等信息。而隐私
衍射度量术是一类通过对周期性结构远场衍射光特性的分析来精确测量周期性结构形貌参数的方法。这类方法具有非接触、无损伤、快速响应等优点,适用于各种在线、离线的测量环境。本论文围绕着衍射度量术这一核心方法,对不同类型的光刻胶掩模光栅、小阶梯光栅,设计了4种在线监测与离线检测光栅形貌参数的方法。并在其中一些方法的辅助下,成功地制作出了局部衍射效率和杂散光性能达到商用光栅水平的小阶梯闪耀光栅母光栅。针对铬膜