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

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

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

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