基于符號執(zhí)行的Python攻擊腳本分析.pdf

1、隨著信息技術(shù)的高速發(fā)展與廣泛應(yīng)用，互聯(lián)網(wǎng)與計(jì)算機(jī)已完全融入人們的生活。但是相應(yīng)的，網(wǎng)絡(luò)入侵的風(fēng)險(xiǎn)也急劇增加。IDS作為重要的信息安全輔助系統(tǒng)，能夠應(yīng)對網(wǎng)絡(luò)蠕蟲及部分惡意網(wǎng)絡(luò)攻擊。IDS所使用的攻擊特征往往是由安全人員通過抓取實(shí)驗(yàn)數(shù)據(jù)并分析流傳腳本得到。但是隨著新型漏洞層出不窮，人力分析的數(shù)量和質(zhì)量不能與漏洞出現(xiàn)的速度相適應(yīng)。因此，我們需要盡快的提取攻擊特征。在這樣的背景下，攻擊特征自動提取技術(shù)誕生了?，F(xiàn)有的攻擊特征自動提取技術(shù)分為基于網(wǎng)

2、絡(luò)（NSG）和基于主機(jī)（NSG）兩種。但這兩種的方法都需要搭建實(shí)驗(yàn)環(huán)境和特定版本的目標(biāo)靶機(jī)，確切來說是半自動的，并不能完全脫離人力。
　　考慮到腳本流傳的速率以及提取攻擊特征的難度，我們提出基于符號執(zhí)行的Python腳本自動分析系統(tǒng)PyExZ3+。該系統(tǒng)基于PyExZ3，通過應(yīng)用符號執(zhí)行技術(shù)，對捕捉到的Python攻擊腳本進(jìn)行符號執(zhí)行，以提取腳本中的攻擊特征。為了在攻擊特征自動提取技術(shù)中應(yīng)用符號執(zhí)行技術(shù)，本文針對符號執(zhí)行實(shí)際應(yīng)用中

3、出現(xiàn)的路徑爆炸、運(yùn)行時符號化等問題提出了循環(huán)識別策略、運(yùn)行時解析器和編碼路徑優(yōu)化等策略。除此之外，本文對Python攻擊腳本中常用庫函數(shù)進(jìn)行環(huán)境建模，使其在保證局部一致性的條件下，能夠按照正常邏輯進(jìn)行符號執(zhí)行操作。
　　為了驗(yàn)證符號執(zhí)行技術(shù)的有效性，本文設(shè)計(jì)了功能性測試、效率測試以及輸出分析多個實(shí)驗(yàn)進(jìn)行驗(yàn)證。對真實(shí)Python攻擊腳本的檢測結(jié)果表明，符號執(zhí)行在腳本分析領(lǐng)域具有可行性和實(shí)用性；相比現(xiàn)有的CHEF、PyExZ3這類通用