基于符號執(zhí)行的Web安全檢測系統(tǒng)的研究與實現(xiàn).pdf

1、隨著互聯(lián)網(wǎng)的普及，Web已經(jīng)應用的各個領域，但針對于Web應用程序漏洞的攻擊也越來越多，其危害程度很越來越大，雖然采取了多層的安全措施，但應用程序本身的漏洞，這些措施都無能為力，及時發(fā)現(xiàn)并修復Web應用程序漏洞才是根本解決其安全問題的方法。
　　 基于Fuzzing黑盒測試方法通過模擬攻擊者的行為來檢測漏洞，所以檢測結果很準確。但現(xiàn)在Web設計越來越復雜，Web應用程序通常會對輸入進行驗證，黑盒檢測往往不能自動構造有效的輸入數(shù)據(jù)

2、，一方面影響了Web漏洞檢測系統(tǒng)的測試深度，另一方面由于模擬攻擊的實例不夠精確有效，影響其檢測效果。
　　 針對于上述問題，本文在對符號執(zhí)行技術和Fuzzing測試技術進行了深入研究的基礎上，實現(xiàn)了一個完整的基于符號執(zhí)行的Web檢測系統(tǒng)JSCAN。JSCAN能自動生成精確的輸入數(shù)據(jù)，解決了以往同類Web檢測系統(tǒng)的不足。
　　 本文主要的貢獻包括：研究了符號執(zhí)行和Fuzzing測試的現(xiàn)狀，提出一種基于符號執(zhí)行的Fuzzin

3、g測試模型；在對符號執(zhí)行的原理進行深入研究的基礎上，結合Web應用程序輸入數(shù)據(jù)的特點，設計了一種基于符號執(zhí)行自動生成輸入數(shù)據(jù)的方法，該方法將符號執(zhí)行應用于網(wǎng)頁的程序片段，提取出代碼的靜態(tài)約束和動態(tài)路徑約束，對約束進行求解，最終能生成精確的輸入數(shù)據(jù)；通過對輸入約束和和檢測特征字合取，再進行約束求解，最終能自動生成精確的攻擊參數(shù)；最后將該方法應用到Fuzzing黑盒技術中實現(xiàn)了一個完整的Web檢測系統(tǒng)，并在網(wǎng)頁爬取、時間開銷和漏洞檢測等方面