基于正則表達(dá)式的Java Web程序漏洞檢測(cè)技術(shù)研究.pdf

1、很多Web應(yīng)用程序由于缺乏對(duì)用戶輸入的有效性驗(yàn)證而受到來(lái)自于SQL注入和XSS攻擊等網(wǎng)絡(luò)攻擊模式的安全威脅。攻擊者通過(guò)偽造精心構(gòu)造后的惡意SQL語(yǔ)句而后提交給后臺(tái)數(shù)據(jù)庫(kù)服務(wù)器執(zhí)行從而達(dá)到攻擊目的,或者在Web頁(yè)面的HTML標(biāo)簽中嵌入惡意腳本欺騙客戶端瀏覽器執(zhí)行達(dá)到盜取用戶信息等。
　　SQL注入和XSS攻擊都有其各自的形式,兩者相同點(diǎn)就是缺乏對(duì)用戶輸入的驗(yàn)證以及過(guò)濾機(jī)制。正則表達(dá)式以其簡(jiǎn)潔的形式及強(qiáng)大的功能在Web程序脆弱性檢測(cè)中

2、得到了廣泛的應(yīng)用。本文主要研究如何通過(guò)用自動(dòng)機(jī)形式的正則表達(dá)式與字符串在指定程序點(diǎn)的取值集合進(jìn)行交集匹配來(lái)推斷程序點(diǎn)是否存在SQL注入和XSS攻擊脆弱性。為了檢測(cè)程序是否存在脆弱性,需要精心構(gòu)造良好的正則表達(dá)式來(lái)保證效率的同時(shí)涵蓋盡可能多的攻擊手段,同時(shí)需要構(gòu)造模擬字符串操作的自動(dòng)機(jī)操作庫(kù)來(lái)得到字符串在程序流中的取值集合。在對(duì)源程序進(jìn)行靜態(tài)分析的基礎(chǔ)上得到整個(gè)源程序的依賴信息,同時(shí)通過(guò)匹配敏感API收集程序潛在脆弱點(diǎn)。在以上基礎(chǔ)上再對(duì)程