基于可执行文件的漏洞挖掘和利用技术研究

来源 :中国科学院研究生院 中国科学院大学 | 被引量 : 0次 | 上传用户:RTTR123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文对基于可执行文件的漏洞挖掘和利用技术进行了深入的研究和探讨。安全漏洞(Vulnerability)是网络攻防的关键。先进的漏洞挖掘和利用技术有助于研究者先于攻击者发现安全漏洞,并及时修补软件开发中的安全缺陷,提高系统和应用软件的安全性。可执行文件是安全研究人员最容易获得的程序信息承载格式,以此为支点发展出的漏洞相关技术能够很好地适应当前信息系统的封闭现状,对开放源码的软件程序也具有一定程度的借鉴价值,是近年来安全漏洞研究领域的一个热点问题,具有很强的研究价值和现实意义。   在充分分析已知漏洞形成机理的基础上,本文对用于可执行文件的三种漏洞挖掘技术进行了研究,分别提出了不同程度的改进和实现;通过整合二进制审核和补丁比对技术、二进制审核和Fuzzing技术的融合,更进一步地提高了漏洞挖掘的效率。在对软件缺陷进行验证的过程中,提出了ARM架构中的Unicode-proofShellcode构造方法,并提出了一种适用于Windows CE系统的指令缓存刷新技术,使得原本不具有安全性威胁的软件缺陷转变为高危害的安全漏洞,具有很好的实用价值。   本文取得主要成果有:   1)提出了基于LCS(Longest Common Subsequence,最长公共子串)算法和二进制审核的补丁比对技术;基于LCS算法的补丁比对技术能够在多项式时间内近似的解决函数基本块之间的同构问题;在此基础上,通过融合二进制审核技术进一步地提高了缓冲区溢出漏洞代码的定位效率;实践证明,该算法在函数配对的准确性和时耗方面均优于现有补丁比对算法和工具;   2)提出了基于二进制审核的样本数据分析算法,提高了Fuzzing测试数据的有效性;在此基础上,通过对已有图片与音频漏洞的分析,设计并实现了常见图片和音频文件格式漏洞Fuzzing测试平台;成功重现了历史上的三个高危安全漏洞,并检测出两个未公开的软件漏洞,说明了研究方法和技术的有效性;   3)提出了使用自修改代码在ARM架构上构造Unicode-proof Shellcode的方法;该方法在不考虑指令缓存问题的前提下适用于所有的操作系统,具有很好的实用价值;   4)提出了适用于Windows CE系统的指令缓存刷新技术,并通过理论分析和实践验证说明了技术的有效性,从而使得攻击者在现实中能够构造适用于智能手机操作系统的Unicode-proof Shellcode;这也是目前唯一适用于ARM架构和Unicode-proof Shellcode的指令缓存刷新技术。
其他文献
随着实时系统应用的不断扩大,对实时系统的研究越来越受到关注。实时系统与一般系统的差别在于,实时系统的运算正确性不仅依赖运算结果的正确,还依赖于运算结束时间。实时系
随着计算机网络、通信和控制技术的发展,以太网技术在工业控制中的应用成为当前控制领域的研究热点。在雷达系统中,以太网的实时应用也成为影响其工作性能的至关重要的一环。在
动态场景中真实感软影的实时绘制一直是计算机图形学中的研究热点。其中,反投影软影绘制技术是实时软影绘制的重要方法之一,它能精确的模拟物理过程,产生高度真实的绘制效果。但
P2P网络(Peer-to-Peer Network)是当前开放、自由网络的典型代表,它改变了用户资源共享和信息交互的使用模式及其层次,并获得了商业界和学术界的广泛关注和重视。然而在自由
机器人足球是近年来人工智能领域发展较快的一个分支。主要分为FIRA和ROBOCUP两大赛事。本文的研究对象为FIRA机器人足球赛中的Androsot项目。本文对人形机器人比赛Androsot
随着无线通信技术的不断发展,不可或缺的无线频谱资源已成为限制信息社会无线通信与服务应用发展的瓶颈。认知无线电这一解决无线频谱资源紧缺问题的方法成为国内外研究的热点
普通数码相机所拍摄的图像具有大视场图像分辨率低、分辨率高的图像视场小的特点。为了解决视场和分辨率的矛盾,人们提出了图像拼接技术,将反映同一场景的多幅有重叠区域的图像
自主导航能力是移动机器人在”智能”和”自主性”上的重要体现,拥有这种能力的机器人能够在不依赖人类控制的条件下,执行定位和认知活动,从而能够穿越未知的环境而到达目的地。
当今社会很多实际问题都可以归结为大规模的模式识别问题,比如对网页信息的数据挖掘、交通系统客流分析等等。然而对于大规模问题,即使像SVM等高效算法依然难以真正突破这个
随着信息技术的广泛应用和Intenet的飞速发展,网络上的Web服务资源数量急剧增多。基于功能性匹配的服务选择算法在服务资源有限的情况下能比较准确的选择服务请求者满意的服