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

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

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

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