基于動態(tài)污點分析的漏洞攻擊檢測技術(shù)研究與實現(xiàn).pdf

1、當今軟件系統(tǒng)不斷增加的規(guī)模和復(fù)雜度導(dǎo)致了越來越多的安全漏洞的出現(xiàn)。其中最為著名的有緩沖區(qū)溢出漏洞、格式化字符串漏洞、SQL注入漏洞和跨站腳本漏洞等。攻擊者可以利用這些漏洞改變程序原來的執(zhí)行流程，執(zhí)行攻擊者自己編寫的惡意代碼，破壞用戶程序或者偷取用戶敏感信息。鑒于漏洞攻擊所造成的強大破壞力以及對信息安全的威脅，國內(nèi)外在漏洞攻擊檢測方面已有了一些較深入的研究。然而目前這些技術(shù)存在諸多不足，基于編譯時期動態(tài)跟蹤污點信息的檢測技術(shù)，不能檢測針對

2、用非類型安全語言編寫的應(yīng)用程序。基于源代碼分析的檢測技術(shù)，不能檢測針對第三方庫的漏洞攻擊，并且缺少運行時信息的支持，有較高的誤報漏報率。
　　本文在對漏洞攻擊原理的深入分析以及對國內(nèi)外相關(guān)研究技術(shù)的大量調(diào)研基礎(chǔ)上提出了一種新型的漏洞攻擊檢測技術(shù)—基于動態(tài)污點分析的漏洞攻擊檢測技術(shù)。該方法動態(tài)的跟蹤程序運行時對數(shù)據(jù)的處理，并記錄處理過程中數(shù)據(jù)的傳播，找出目的數(shù)據(jù)結(jié)果與源數(shù)據(jù)之間的依賴關(guān)系，從而達到檢測漏洞攻擊的目的。主要研究內(nèi)容包括

3、：⑴實現(xiàn)了基于控制流的污點信息傳播方法。不僅實現(xiàn)了基于數(shù)據(jù)流的污點傳播過程，同時也考慮到了信息流的控制依賴關(guān)系。提出了啟發(fā)式的CFG動態(tài)構(gòu)建，通過指令映射、基本塊組合和postdominate樹構(gòu)造，建立起信息流之間的控制依賴關(guān)系，并且通過控制流分析算法實現(xiàn)了基于控制流的污點傳播過程。⑵實現(xiàn)了更為嚴謹?shù)陌踩珯z測策略。本文通過對目前主流漏洞攻擊原理的深入分析，提出使用MBSL語言結(jié)合正則表達式更為嚴謹?shù)亩x了安全檢測策略，解決了寬松的安全