一种针对程序攻击的错误定位方法

来源 :南京大学 | 被引量 : 0次 | 上传用户:yayaguo123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序漏洞攻击威胁严重。随着计算机的广泛应用以及internet的深入发展,计算机软件的功能变得越来越强,程序代码量也惊人地增长,庞大的软件巨无霸将不可避免地包含软件漏洞。漏洞攻击带来的巨大的经济损失。2004年的Sasser是一个利用微软操作系统的Lsass缓冲区溢出漏洞(MS04-011漏洞信息)进行传播的蠕虫,自2004年4月30日爆发以来,给全球带来数千万美元损失[23]。2003冲击波(Blaster)利用DCOM RPC缓冲区漏洞攻击windows操作系统,一旦攻击成功,病毒体将会被传送到对方计算机中进行感染,使系统操作异常、不停重启、甚至导致系统崩溃[21] 新的漏洞攻击从出不穷,软件发布商反应迟缓。在软件漏洞被发现之后,通常是由软件开发人员通过手工的代码审计,跟踪,调试等手段进行漏洞定位并修补漏洞。然而,由于当前计算机程序日益复杂,这种手工的修补方式导致程序的修补时间明显地落后于程序漏洞攻击时间。这导致程序发布商很难在第一时间内发布程序补丁,把损失减小到最小。虽然到目前已提出了多种错误定位方法,然而这些方法很难有效地应用于程序的漏洞定位。 针对目前的状况,本文提出一种自动定位错误的方法。在程序遭受恶意攻击时可以自动捕获正在被攻击的程序错误,找出程序遭受攻击的根源。自动的错误定位使得程序开发者可以迅速地定位程序漏洞,修补程序漏洞;自动的错误定位使得自动补丁,程序自动修复等成为可能。 本文的方法的基本思想是,从程序状态中,提取出与程序控制流相关的程序对象,通过对程序控制流对象的监控,检测出程序控制流对象遭受的不恰当的更改。这样,我们自动定位正在遭受攻击程序漏洞。 为检测系统针对程序攻击定位错误的有效性,本研究采用最为常见的缓冲区溢出攻击和格式化字符串攻击这两种攻击手段来测试。Wilander开发的缓冲区测试平台提供了常见的18种缓冲区攻击实例。本文按照Wilander的基本思想,开发了基于格式化字符串攻击的测试平台,提供了20种格式化字符串攻击实例。经过测试后,系统捕获了所有的恶意攻击,并定位到了所有的程序漏洞的源程序行。
其他文献
教学评价是一个复杂的过程,它依据一定的教学目标和规范,对学校教学情况进行系统检测和考核,评定教学效果和教学目标的实现程度,并做出相应的价值判断。教学评价过程具有复杂性、
可扩展和可容错是当前超级计算面临的两大关键技术。以千万亿次超级计算机的出现为标志,数值模拟已经进入一个全新的时代。一个高性能数值模拟程序可以使用数十万甚至数百十万
协商是商务贸易交往中的重要环节,智能协商主体代替人工协商可极大提高协商的效率。与人工协商相似,智能协商主体就某个特定议题能够展开协商必须具备三个基本条件:(1)共同的通
随着视频压缩技术的不断发展,其在航天任务应用领域发挥着越来越重要的作用,借助视频压缩技术可以高效地完成视频图像采集,减少信道数据的存储量,提高传输效率,有利于航天器
信息时代极大丰富的信息资源以及人们在工作生活中日益广泛的移动,使得人们越来越希望能够随时随地的访问网络.移动通信网和互联网的融合发展将积极促进下一代全IP移动网络的
Internet正从一个主要用于交换和共享信息的网络演变成为一个开放软件协同环境,未来许多应用系统的构建将依赖于Intetnet上海量的、自治的软件实体间的有效协同。如何针对此类
自上个世纪90年代初期开始,软件体系结构受到了学术界广泛的关注与重视,并被认为将会在未来的软件开发中起到重要的作用。随着软件体系结构研究的发展,体系结构模型中对系统行为
2003年3月-2004年12月,公司申获并完成了基于组件的嵌入式地理信息系统(国家863)项目,扩大了GIS的应用范围,与此同时,移动通讯设备,尤其是智能终端设备和GPS设备的迅速发展为GIS的
数字地震记录格式问题在理论上是一个简单的、而在实践上却是一个复杂的问题。数字地震记录开始于70年代初期,随着数字地震观测技术的不断发展,数据格式问题日益引起越来越多
Ad Hoc网络是一个没有任何中心实体的自组网络,它依靠节点间的相互协作自行成网,借助多跳转发技术来完成有限距离的传输。Ad Hoc网络具有组网灵活性、支持移动性、易于迅速展开