面向COTS软件的智能漏洞挖掘技术研究

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:pentagon888
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现代化社会,计算机与日常工作生活密不可分。然而伴随着社会的快速发展,计算机的安全问题日趋严重,一个威胁计算机安全的重要因素就是软件中存在漏洞。COTS即Commercial-Off-the-Shelf,COTS软件则是指通过采购得到的具有开放式标准定义的接口的软件产品。这类产品一般具有软件功能结构复杂、不开放源代码、与操作系统关联紧密等特点。本文首先研究了现有的漏洞挖掘技术或工具在面向COTS软件时存在的若干问题,例如路径爆炸、约束困顿、复杂环境交互、漏洞建模等。在对这些问题的研究基础上,本文提出了一种基于全系统的动态符号执行技术方案,并且根据此方案实现了一套面向COTS软件的智能漏洞挖掘系统COTSFuzzer。COTSFuzzer的创新点可以总结为以下四点:1)把全系统的动态符号执行技术应用于软件漏洞挖掘领域;2)引入包括二进制指数路径修剪算法在内的多种性能优化策略,有效抑制了符号执行导致的路径爆炸问题;3)实现了细粒度的用户态异常监控机制,完成了Windows用户态COTS软件的异常监控和崩溃文件生成工作;4)针对Windows软件漏洞挖掘做优化,使其适用于针对ActiveX控件、驱动程序、文件处理型COTS软件的漏洞挖掘任务。实验表明,COTSFuzzer可以有效应用于Windows平台下COTS软件的漏洞挖掘任务。相较于传统的软件测试,该系统可以有效提高目标软件的测试覆盖率,继而挖掘出软件潜在漏洞。
其他文献
机器人足球仿真比赛是一个在智能机器人领域出现的典型的多智能体系统(Multi-Agent System)。它是一个集成行为决策技术、智能控制技术、仿真技术、对策论及社会组织学等多学
随着信息时代的发展,多媒体技术作为计算机通信、信息存储、Internet网络传输等信息技术的最活跃的研究领域之一,引起了业界人士的广泛关注。其中,图像数据因为能给人们以直观、
商用搜索引擎对查询请求的处理速度有很高的要求,尤其是在因特网已发展到数百亿网页规模的背景下,如何在保证返回结果质量的前提下,尽可能提高搜索引擎查询处理能力成为了搜
随着遥操作机器人技术的发展,人们不再满足于SOSR遥操作系统的工作能力,更多的转向MOMR系统的研究。而目前国内外这方面的研究大部分还仅限于协作型遥操作,对于一些新兴的遥操作
SIP(SessionInitiationProtocol,会话初始化协议)是由IETF(Internet工程任务组)提出的IP电话信令协议。目前SIP工作组发表的协议和草案超过30个,除了核心协议以外,其他协议涵盖Q
基于知识工程的系统研究历来是计算机理论及应用研究的前沿之一,但是知识获取的瓶颈问题,一直束缚着研究人员的研究进程,而范例推理系统(CBR)恰能较好地解决这个问题,目前已广泛
随着虚拟化软硬件技术的发展与成熟,虚拟化技术已经被广泛地应用于云计算等基础服务设施领域。虚拟化技术的目的是为了实现物理资源的动态扩展以及按需分配,这需要虚拟化环境能
随着信息技术的发展,企业的信息化水平不断提高。企业在信息化建设的过程中积累的大量数据构成了企业的异构数据环境。异构数据集成问题已经成为目前的研究热点之一。本文讨论
授权管理基础设施(PrivilegeManagementInfrastructure,PMI)的目标是向用户和应用程序提供授权管理服务,提供用户身份到应用授权的映射功能,提供与实际应用处理模式相对应的、与
随着因特网应用的发展,XML已经成为新一代因特网数据组织和交换的事实标准,XML数据的以XML原生数据库的方式存储与检索成为当前研究的重要方向,为XML原生数据库添加和传统主