基于深度神经网络的软件漏洞分析技术研究

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:littlesilverfox
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件漏洞分析是网络空间安全的重要研究内容。现有软件漏洞分析方法存在效率不高,准确性差,通用性不强的缺陷。同时,真实程序执行流程长、调用关系复杂、条件分支多,使用当前方法进行漏洞分析面临更多困难。因此,研究一种新的软件漏洞分析方法,实现对大型软件漏洞进行高效分析,对于修复软件漏洞以及维护网络空间安全具有重要意义。论文围绕基于深度神经网络的软件漏洞分析技术展开研究。首先,本文提出了基于神经网络的漏洞分析框架,并研究了框架中的关键方法。其次,针对程序源代码漏洞,本文利用深度神经网络技术提出了一种基于程序操作语义特征的源代码漏洞检测方法。然后,针对二进制软件漏洞分析的困难性,本文提出了基于程序执行迹的二进制软件漏洞成因分析方法。本文主要工作和创新点如下:(1)提出了基于深度神经网络的软件漏洞分析框架。论文针对现有漏洞分析方法的局限性,提出了利用神经网络进行软件漏洞分析的框架。首先针对软件漏洞分析相关概念进行论述;其次针对当前方法的局限性以及神经网络方法的优势,提出了基于神经网络的漏洞分析框架;最后针对框架中的关键方法进行研究,提出面向程序特征的输入建模方法、神经网络模型构建方法以及神经网络可解释性分析方法。(2)提出了基于操作语义的源代码漏洞检测方法。论文针对当前源代码漏洞分析方法漏报率高的缺陷,结合深度神经网络提出一种基于操作语义的源代码漏洞检测方法。首先分析函数名称作为操作语义来表示漏洞的可行性,并从漏洞库和开源程序中提取大量函数名称作为数据集;其次利用双向长短时记忆网络构建分类器,实现对于漏洞函数名称以及无漏洞函数名称的分类;最后设计实验来对分类效果进行评估,通过在真实软件FFmpeg和Lib TIFF上进行实验,该方法可以对源代码中漏洞函数进行检测分析,并且不受漏洞类型和编程语言的限制。(3)提出了基于程序执行迹的二进制软件漏洞成因分析方法。论文针对二进制软件漏洞分析的困难,结合深度神经网络提出一种基于程序执行迹的二进制软件漏洞成因分析方法。首先基于模糊测试技术改进测试用例生成算法,并结合动态二进制插桩技术生成程序执行迹;其次以大量程序执行迹为输入,利用卷积神经网络进行学习,通过研究神经网络可解释性来分析执行迹中基本块与程序崩溃的关系,进一步提出从崩溃执行迹中识别漏洞基本块位置的方法;最后通过在多类数据集以及真实目标软件上的实验,证明了该方法的有效性。
其他文献
辩证唯物主义认为,在事物发展的因果链条中,问题是事物内在矛盾运动的外在呈现,是推进发展的突破口,也是创新的起点和动力源。新时代,习主席深刻指出:“只有把问题研究清楚了,我们才能提高谋划决策水平,对今后一个时期军队建设、改革和军事斗争准备提供具有前瞻性、针对性指导。”开展联勤保障部队储供基地政治工作存在的主要问题及对策研究,就是按照习主席指示要求,立足储供基地部队转型重塑、开局开新的客观实际,坚持以
本次口译实践的形式为交替传译。报告选取了国防部发言人任国强大校为“国际问题研讨班”学员讲授《中国的国防政策》的讲座为语料。讲座主要涉及中国的国防政策以及国防和军队改革,并包含问答环节。该语料的特点是:口语性强、政治术语多、信息密集度高。本报告主体部分由译前准备、口译过程和评估、理论框架、案例分析、困难及对策五部分构成。在理论框架部分,作者在吉尔“认知负荷模型”框架下讨论了听力理解和笔记的精力分配关
传动系统作为直升机的重要组成系统,其健康状态的好坏直接影响直升机的安全性能。由于长期处在高温重载的工况下运行,轴承、齿轮等传动系统关键部件极易发生故障,因此,研究直升机传动系统关键部件的故障预测方法对于维护装备性能、减少事故发生具有重要意义。然而,目前大部分传统的数据驱动预测方法受限于需要较多的先验知识和专家经验等条件,预测效率不高,而深度学习具备自适应特征学习、拟合能力强等优点,为提升直升机传动
视觉目标跟踪是计算机视觉研究领域的重要课题,目前,视觉目标跟踪领域研究人员相继提出了一系列优秀的算法和框架,但鉴于目标跟踪过程中的形变、遮挡、光照变化、随机性运动等问题,要保证跟踪算法实时性、准确性和鲁棒性依然面临很大的挑战。针对上述问题,本文基于经典的相关滤波目标跟踪框架提出了一种改进的目标跟踪算法。首先,本文分析了卷积神经网络不同层输出的目标特征在跟踪任务中的不同作用。其次,本文研究了使用精度
从第二次世界大战开始,磁异探测技术(MAD)就开始应用在军事领域。近年来,随着弱磁传感器技术的进步,磁异探测技术在军事应用方面得到了进一步的重视和发展,磁异信号检测技术就是磁异探测最关键的技术之一,其本质就是如何从低信噪比的磁测量信号中判断有无磁异信号存在。本文拟将神经网络作为二分类器引入到磁异信号检测技术中,并从自动特征提取和人工特征提取两个方面,研究神经网络在磁异信号检测中的应用,为水下目标探
近年来,随着水声技术的发展,水下目标跟踪技术得到了越来越广泛的关注,其对充分利用我国海洋资源、维护我国海洋权益起着至关重要的作用。在战时监视,声纳探测,水下武器对抗,及海洋资源的开发等领域有着广泛的应用价值和重要的战略意义。本文针对水下目标跟踪的两大热点--粒子滤波算法和联合概率数据关联算法,展开了理论研究和仿真研究,重点从计算的实时性和跟踪的误差性提出改进措施。首先,本文阐述了基本滤波理论。给出
中国少数民族称谓语研究是个亟待重新开发和深入的领域。论文数据源自新中国成立初期至2020年4月终的中国知网期刊全文数据库中所有中国少数民族称谓语的研究文献。我们系统回顾了中国少数民族称谓语的分类、泛化、简化、缺环、文化释源方面的研究成果,发现其亲属称谓语在细类划分、泛化使用和文化释源上各具自身的民族称谓特点,但在简化和缺环方面缺乏有价值的研究发现;其非亲属称谓语研究发现仍显空白。作为前瞻性研究思考
网络表征学习是针对大规模复杂网络数据进行分析和处理的方法,是研究者们一直以来广泛关注的领域。尽管已经出现了非常多针对网络表征学习问题的有效模型,但是仍然存在没有充分考虑异构网络、对标签信息利用不够完全等问题。随着神经网络模型的不断发展和壮大,其在图像、音视频、文本处理等领域表现出了良好的性能,如何将其应用于网络表征学习需要更进一步的探索。针对上述问题,本文开展了深入的学习和调研,完成了以下工作:本
本文以系统功能语言学为理论框架,对2018年美国西点军校教务长杰布·辛迪准将率团访问中国人民解放军陆军工程大学时所做演讲及葛约翰中校为其所做交替传译进行案例研究,从语气、情态和语调三个系统分别对源语和目标语进行对比分析,考察目标语所实现的人际意义是否与源语一致,进而对此次军事外交活动的交际效果进行评估。韩礼德在功能语法中提出语言的三种元功能,分别是经验功能、人际功能和语篇功能。其中,人际功能体现语
随着导航精度需求的提高,多源导航逐渐成为了航天任务的首选方式。路标导航随着光学技术的发展应运而生,并且同CNS互相补偿,以提高组合导航的导航精度。同时,随着智能算法的发展,导航滤波算法也向着自适应性发展。因此,多源性、自适应性成为了导航新的发展方向,而高稳定性一直是导航的目标。本文以多源导航作为研究背景,主要做出了以下工作:(1)首先,在预处理阶段,通过BP神经网络对捕获的数据进行检测和补偿,获取