基于动态污点分析的漏洞攻击检测技术研究与实现

被引量 : 20次 | 上传用户:cclongman
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当今软件系统不断增加的规模和复杂度导致了越来越多的安全漏洞的出现。其中最为著名的有缓冲区溢出漏洞、格式化字符串漏洞、SQL注入漏洞和跨站脚本漏洞等。攻击者可以利用这些漏洞改变程序原来的执行流程,执行攻击者自己编写的恶意代码,破坏用户程序或者偷取用户敏感信息。鉴于漏洞攻击所造成的强大破坏力以及对信息安全的威胁,国内外在漏洞攻击检测方面已有了一些较深入的研究。然而目前这些技术存在诸多不足,基于编译时期动态跟踪污点信息的检测技术,不能检测针对用非类型安全语言编写的应用程序。基于源代码分析的检测技术,不能检测针对第三方库的漏洞攻击,并且缺少运行时信息的支持,有较高的误报漏报率。本文在对漏洞攻击原理的深入分析以及对国内外相关研究技术的大量调研基础上提出了一种新型的漏洞攻击检测技术—基于动态污点分析的漏洞攻击检测技术。该方法动态的跟踪程序运行时对数据的处理,并记录处理过程中数据的传播,找出目的数据结果与源数据之间的依赖关系,从而达到检测漏洞攻击的目的。本文的主要贡献如下:(1)实现了基于控制流的污点信息传播方法。本文不仅实现了基于数据流的污点传播过程,同时也考虑到了信息流的控制依赖关系。提出了启发式的CFG动态构建,通过指令映射、基本块组合和postdominate树构造,建立起信息流之间的控制依赖关系,并且通过控制流分析算法实现了基于控制流的污点传播过程。(2)实现了更为严谨的安全检测策略。本文通过对目前主流漏洞攻击原理的深入分析,提出使用MBSL语言结合正则表达式更为严谨的定义了安全检测策略,解决了宽松的安全检测策略所带来的漏报问题,能够检测出更多种类的漏洞攻击。(3)实现了基于动态污点分析的漏洞攻击检测原型系统。该系统通过动态跟踪二进制目标程序运行时的信息流传播,检测并阻止外部不可信数据用于非安全的数据操作,从而扼制了攻击的源头。该系统不需要对目标程序源代码进行分析,能够适用于商业软件,并且在漏洞攻击检测上有着较低的漏报和误报率。本文最后的系统测试从功能和性能两个方面证明了原型系统的可行性和有效性。
其他文献
背景:由亲水端聚乙二醇(PEG)和疏水端聚已内酯(PCL)组成的两亲性嵌段共聚物材料聚乙二醇-聚已内酯(PEG-PCL),由于具有生物相容性和可降解性的特点,备受人们的关注。在水中,PEG
<正>【裁判要旨】非法拘禁罪是一种典型的持续犯,其犯罪行为与不法状态应持续一定时间,且非法拘禁行为应达到一定严重程度。对于拘禁时间不足24小时的索债型非法拘禁,以殴打
背景上海市肿瘤研究所1988年上海市市区恶性肿瘤发病率统计资料表明,除恶性黑色素瘤以外的皮肤恶性肿瘤发病率为1.53/10万。皮肤痛的病因尚未完全明了,其发生可能与过量的日
当代大学生具有饱满的爱国热情,但这种爱国热情易受外界的干扰,很多时候对问题的本质缺乏正确的判断能力和理性的行为能力,易把激扬的爱国情感转化为不理性行为,甚至触犯法律
网络舆情的主体多元、内容丰富、传播迅捷等特点,正重塑传统公共决策的信息生态,一定程度上有助于增进公共决策的民主进程,提高公共决策的有效性、交互性与公信力。然而虚拟
基督教神学的基本教义表现为对上帝的信仰,古希腊哲学的核心理念是理性。它们是西方人精神世界中的两个基本特质,对西方文明的发展做出了巨大贡献。基督教神学与古希腊哲学的
正确解读社会主义核心价值观中"自由"概念具有极为重要的理论价值和现实意义。为此,必须将"自由"放在中国文化语境中,并分清不同学科、学派背景下的"自由"含义。在此基础上,
网络计划技术有个重要的步骤是画网络图。当工序间的关系复杂时 ,画网络图就有一定的困难 ,画出的图 (以及画图的过程 )也往往是杂乱无章 ,缺少经验的人甚至干脆就画不出来。
研究目的:研究Copen对不同组织来源的肿瘤细胞株体内外抗肿瘤作用,及大鼠灌胃/静脉给药后Copen的药代动力学特征,从而为该药的后续研究提供依据。研究方法:1.MTT法检测Copen对不
楼盖作为建筑结构的重要组成部分之一,不仅起着支承竖向荷载和传递水平荷载的作用,还是竖向承重结构的水平支撑。在一个建筑物中,由于楼盖面积大,层数多,楼盖造价约占土建总造价的