【摘 要】
:
随着计算机和网络技术的发展,网络协议及其软硬件设备变得种类繁多,与之相关的网络安全问题也接踵而至,例如协议本身的设计缺陷和实现协议的软硬件可能存在漏洞。模糊测试是发现这些缺陷或漏洞的重要技术手段,已经在多种场景中发现了大量漏洞。但是对网络协议的模糊测试目前取得的效果仍然亟待改进。由于网络协议报文格式的多样性和有状态网络的交互性,现有的基于黑盒的模糊测试的随机性和盲目性高并且依赖于协议规范。手工描述
论文部分内容阅读
随着计算机和网络技术的发展,网络协议及其软硬件设备变得种类繁多,与之相关的网络安全问题也接踵而至,例如协议本身的设计缺陷和实现协议的软硬件可能存在漏洞。模糊测试是发现这些缺陷或漏洞的重要技术手段,已经在多种场景中发现了大量漏洞。但是对网络协议的模糊测试目前取得的效果仍然亟待改进。由于网络协议报文格式的多样性和有状态网络的交互性,现有的基于黑盒的模糊测试的随机性和盲目性高并且依赖于协议规范。手工描述协议规范的方法需要较多的专家知识,过程繁琐且不支持未公开文档的协议,这限制了当前网络协议模糊测试的效果。为了应对这些问题,本文主要工作内容包含:(1)针对现有的灰盒模糊测试工具AFL会忽略一些重要测试用例的问题和存种子队列中在大量无效种子的问题,分别提出了改进方法并在原来的工具上改进实现了OPTAFL。相比改进前,提升了代码覆盖率和崩溃触发能力。(2)针对不同网络协议报文格式的多样性问题,提出了基于变异的模糊测试方法。该方法对上一部分的OPTAFL加入协议测试功能,实现了基于代码覆盖率导向的无状态网络协议的灰盒模糊测试。由于该方法是通过变异的方式生成测试用例,因此无需手动描述协议规范。相比传统的网络协议模糊测试工具Boo Fuzz,本方法提升了代码覆盖率和崩溃触发能力。(3)针对有状态网络协议的交互性难点,提出了基于报文聚类的状态推断方法来指导种子选择而无需建立出完整的协议状态机。结合第一个工作内容,改进并实现了基于代码覆盖率的有状态网络协议灰盒模糊测试工具。相对传统的网络协议模糊测试工具Boo Fuzz提升了代码覆盖率和崩溃触发能力。
其他文献
基于囚禁离子的量子计算正处于快速发展阶段,其中表面电极离子阱是目前实现大规模量子计算的重要手段,这得益于表面电极离子阱独有的可扩展、集成化以及小型化等优势。目前,表面电极离子阱在量子计算中的应用仍处于初步阶段,因此对其设计、加工以及测试等方面的基础研究尤为重要,这与表面电极离子阱的性能密切相关。本文以对称五线型表面电极离子阱为例,对表面电极离子阱的制备及污染监测展开相应的研究,其主要内容与创新点如
<正> 一、笼养法。制作一个笼子,猪能在其中自由起卧,但不能抬头。一般长100—120厘米、宽40—60厘米、高90—110cm,笼四周每条木柱或钢筋距离以猪不能伸出为度;笼底铺30厘米厚条木板;笼前上方留20厘米高的横口,用于喂猪时放食具,笼后设置能开关的门;笼前脚高25厘米,后脚高20厘米。其造价仅为建猪圈费用
戴季陶(1890年——1949年)曾在1905年到1909年留学日本,归国后曾长期担任孙文秘书,是中国国民党右翼理论家和领导人之一,并以《日本论》一书而被日本学者竹内好称为“知日三白眉”之一。戴季陶创作的《日本论》一书内容涉及到日本的宗教、政治、中日关系、日本国民性等各个方面的问题,并将神道把握为日本历史思想的核心、日本宗教文化的主导、日本现实政治的重要体现。因此,探究《日本论》的神道思想,可以成
魏晋南北朝是佛教在中国早期发展的重要时期,佛教积极调整融入传统中国社会,对人们的思想文化和社会生活都带来极大影响。当时女性的处境和生活也随之出现新的现象,出家为尼成为一条与传统世俗女性不同的发展路线:以新的宗教身份投入神圣的修行生活,通过佛门的资源条件和自身的努力实现神圣追求,展现出不同于传统定位的女性风貌和女性价值,在佛教平台实现了女性更多的价值可能。所以,对于魏晋南北朝女性的精神意识和现实生活
企业的良好发展需要大量的资金支持,在资本市场获得直接融资的机会不仅能给企业带来大量资金,而且登陆资本市场也会带来良好的广告宣传效应,对企业可以说是一举好几得,因此许多企业都把上市作为企业的目标之一。目前我国资本市场由于注册制目前仅仅在科创板和创业板进行试点,企业想要登陆A股市场最主要的两条途径就是IPO和借壳上市。通过IPO上市需要经过证监会的审核,所需要付出的各项成本都明显高于借壳上市,最直观的
不同的社会群体成员在互联网上参与表达时常发生观点的碰撞,而那些带有优越感的言论尤其容易引发网络上不同群体间的拉踩谩骂、攻击诋毁,其背后的原因究竟是什么?根据傲慢假说(The hubris hypothesis)理论,他人对发表自我优越言论者的态度受其表达方式的影响,但研究领域大多停留在个体层面,鲜有在群体层面进行探索;网络攻击行为研究大多是相关因素研究,较少有在实验室情境下进行;此外,群体内个体在
孔氏家族是中国历史上延续时间最长的宗族,依托儒家文化以及孔子的影响力,孔氏一族虽非皇族却也在朝代更替中不断延续着,其家族文献也随时代变迁不断更新留存下来。目前孔氏家族的传世文献主要有《东家杂记》《孔氏祖庭广记》《孔氏实录》《阙里志》《阙里文献考》《孔子世家谱》等,为孔氏家族相关研究提供了丰富的资料。《孔氏祖庭广记》与《孔氏实录》都是研究孔氏一族之资料,但前代学者对两书撰者及文本关系等问题多有争论,
物联网的快速发展在为处理器创造了大量新需求的同时,也对处理器的设计技术尤其是低开销、高能效技术提出了新的挑战。为了应对新的挑战,越来越多不同指令集架构被研究者用于物联网处理器的设计中,这不可避免的会将软件兼容问题引入物联网领域。直接将桌面和服务器端的软件兼容解决方案运用到物联网领域存在着包括面积、功耗和性能等方面的限制。为了在合理的硬件开销下解决物联网领域存在的软件兼容问题,本文基于目前物联网领域
聚苯硫醚(PPS)具有超高耐热性,可在220℃以下长期使用,具有良好的耐化学性、高强度、天然阻燃性,与聚醚酰亚胺(PEI),可熔性聚四氟乙烯(PFA),聚醚醚酮(PEEK)等同类特种工程塑料相比,且性价比较高,因此被广泛用于汽车、电子、水处理、塑钢等领域,制成不同性能、不同等级的特殊工程塑料,是世界上迄今为止成本效益最高、被称为最大的特种工程塑料。分析了目前较为常见的PPS合成方法,经过综合比较,