基于语法生成与覆盖信息引导的协议模糊测试技术研究

来源 :杭州电子科技大学 | 被引量 : 0次 | 上传用户:xinpasi
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模糊测试是协议漏洞挖掘的重要技术之一,但是基于变异的灰盒协议模糊器倾向于破坏协议报文格式;而基于语法生成的黑盒协议模糊器缺乏覆盖信息的引导,代码覆盖效果并不理想。如何在保证生成的测试用例接受率较高的情况下,又能够提升覆盖率,是一个值得深入研究的问题。因此,本文的研究重点为基于语法生成与覆盖信息引导的协议模糊测试技术。核心工作如下:(1)根据覆盖信息引导的方式,提出了基于语法生成与覆盖引导的启发式模糊测试方法。本方法通过动态学习同一数据模型中,当前主变异字段与其它可变字段之间的关系,并且使用关系表定量的表示出该关系,在生成测试用例时利用关系表指导同一数据模型的字段之间进行有利于覆盖率增长的组合变异,使得测试用例的生成工作朝着覆盖率更大方向进行。基于本方法实现了模糊器HGFuzz,并进行了实验评估,实验结果表明了本方法的有效性。(2)针对模糊器EPF在种子调度中存在的调度算法过于随机与变异策略中存在的容易破坏种子原有变异的问题,提出了基于细粒度覆盖信息的种子调度方法。对于种子调度问题,本文依据种子覆盖分支的覆盖频度计算种子的权重,覆盖频度越低的分支对种子权重的贡献度越高,使得覆盖频度较低的分支得到更多被覆盖的机会。并且给每个种子一个初始的能量值,依据覆盖信息反馈动态调整该能量值,达到更快丢弃性能不佳种子的目的。对于变异策略问题,本文在对种子变异的过程中,保持种子的原有变异,陆续变异其他字段,使生成的测试用例在触发原有分支的基础上,探索更新的分支。实验结果证明了基于本方法实现的模糊器FCIFuzz的有效性。(3)针对现有基于语法生成与覆盖信息引导的协议模糊测试方法不能准确表示协议实体程序细节状态的问题,提出了基于细粒度状态引导的协议模糊测试方法。以一种细粒度的方式表示协议实体程序的状态转换,如果在模糊测试过程中触发了新的分支覆盖,则认为触发了协议实体程序的新状态,并且通过前缀消息链列表将报文序列与细粒度状态一一对应,使用前缀消息链列表生成报文序列的同时,能够将协议实体程序引导到对应的状态,并且在该状态上进行充分的模糊测试工作,在此基础上探索更深层次的分支路径。最后,通过对比实验,在关键指标上证明了本方法的有效性。
其他文献
随着物联网、软件定义网络和云计算的广泛创新,信息物理融合系统(Cyber-Physical System,CPS)不断发展并被广泛采用,从而促进日常生活和经济发展。现代社会严重依赖各种CPS,如智能电网和交通系统,因此一旦关键服务出现计划之外的关闭,会导致经济损失甚至人员伤亡等严重的后果。同时,分布式拒绝服务(Distributed Denial of Service,DDoS)攻击由于其容易执行
学位
近年来,国家和地方投入大量财政资金支持职业教育发展。高等职业教育是我国职业教育体系中的高层次教育,公办高职院校作为我国政府采购的重要主体之一,其利用财政性资金购买仪器设备、工程和服务应依法执行政府采购制度。政府采购需求管理贯穿整个采购过程,是采购活动的基础。高职院校政府采购实践中,需要将复杂、抽象的政府采购需求转化为“买不买”和“买什么”的两大类实际问题,在总结经验和理论创新的基础上,重视需求的论
学位
随着信息技术的快速发展和应用,网络设施、信息系统的重要性也越来越突出。但与此同时,网络空间内的攻击破坏、数据盗窃等行为也日益增多,网络安全问题层出不穷,各企业面临网络攻击威胁的形势越发严峻,等级保护工作开展的重要性也越来越明显。随着《网络安全法》正式确定国家等级保护制度的法律地位后,企业需要构建好一体化关键信息基础设施网络安全保障体系,由等级保护测评机构来评判是否达到标准,所以测评机构在等级保护行
学位
学位
二十一世纪是信息化的时代,信息已经全面贯穿整个社会,与人类的生产生活息息相关。特别是随着大数据、云计算、物联网等信息技术的快速发展,需要存储分析的信息正在爆炸式增长,人们对存储器件的各项性能要求越来越高,如何不断提高存储器的各项性能成为信息科学领域的一个关键性基础问题。阻变式存储器是通过材料器件的电阻可以在高电阻态和低电阻态之间可逆地切换来实现存储运算,与传统闪存相比具有明显优势,包括读写速度快、
学位
在磁存储器件的研究上,具有极高的垂直磁各向异性的L10相FePt在实验中展现了作为磁存储器件的优秀潜质。根据生长条件的不同,矫顽力大小能够达到7 T。极大的矫顽力和极高的垂直磁各向异性为器件带来高稳定性和强抗干扰性,能满足存储单元缩小至3 nm,实现10 Tb/inch超高存储密度的需求。近期研究发现L10-FePt单层薄膜中存在的自旋轨道力矩效应能驱动其磁矩实现翻转,这为实现L10-FePt磁矩
学位
群际偏差是生活中存在的常见现象,更多表现为内群体偏好和外群体贬损,我们在态度和行为上偏向对拥有共同内群体身份的成员,有时群际偏差也表现为相反的内群体贬损和外群体偏好,更多被发现于亚洲地区。根据行为免疫系统理论和群际偏差的进化假说,群际偏差是人类长期以来进化形成的适应和应对传染性疾病威胁的适应器,个体通过形成内群体偏好外群体贬损或内群体贬损外群体偏好的群际交往策略,以在病菌进入到身体引起严重免疫后果
学位
随着大数据、人工智能等领域的高速发展,在由传统冯诺依曼架构搭建计算平台上,内存墙、功耗墙等问题日益凸显,难以满足数据中心和高性能计算机的需求。存算一体化阵列加速器作为一种新型计算平台,在处理大数据、高性能计算任务方面具有优越性。由于忆阻器等是新兴器件,针对存算一体器件开发深度神经网络加速芯片尚无较为完善的验证方案,试错成本巨大,需要在项目启动阶段就能初步评估存算阵列的性能、面积、功耗等指标来指导架
学位
实数是初中数学教学的重要内容,教师在教学中要从学生的已有知识经验出发,合理统筹规划,上好实数起始课,为代数的学习打下良好的基础.
期刊
存储作为IT基础设施的三大核心板块之一,存储板块在信息产业的发展过程中具备刚需性。以NAND闪存为主要介质的固态硬盘凭借优异的性能,已经成为人们优先考虑的存储设备。数字经济的繁荣让数据存储市场持续扩大,对大容量存储的需求越来越迫切。工程师们也在不断研发新技术提高NAND闪存容量,如多比特存储技术、晶体管制程工艺技术、三维堆叠技术等。如今,3D NAND闪存已经成为存储市场上的主流介质。但是,由于3
学位