基于網(wǎng)絡(luò)協(xié)議逆向分析的模糊測(cè)試腳本自動(dòng)生成.pdf

1、模糊測(cè)試(Fuzzing)是一種被廣泛應(yīng)用的漏洞挖掘技術(shù)。本文研究網(wǎng)絡(luò)協(xié)議模糊測(cè)試的腳本自動(dòng)生成技術(shù)，利用網(wǎng)絡(luò)協(xié)議逆向分析技術(shù)對(duì)輸入數(shù)據(jù)流進(jìn)行分析，逆向還原出協(xié)議的狀態(tài)機(jī)，再根據(jù)推斷的狀態(tài)機(jī)自動(dòng)生成模糊測(cè)試的腳本?，F(xiàn)有的協(xié)議逆向研究集中在協(xié)議消息格式的逆向分析，針對(duì)網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)的逆向分析工作較少，并且這些工作中假設(shè)推斷出的狀態(tài)機(jī)是協(xié)議的原始狀態(tài)機(jī)，忽略了逆向過程中可能存在的錯(cuò)誤以及樣本不完全等等的因素。主要工作如下:
　　1．提

2、出使用指令執(zhí)行序列分析技術(shù)進(jìn)行消息格式分析的方案，該方案首先利用動(dòng)態(tài)污點(diǎn)分析的方式跟蹤記錄協(xié)議的執(zhí)行指令以及涉及到的參數(shù)，然后利用記錄結(jié)果分析出消息的字詞和分隔符等域元素，最后將消息序列聚類，綜合分析出每一類消息的通用結(jié)構(gòu)。
　　2．提出利用消息格式分析和動(dòng)態(tài)污點(diǎn)分析的結(jié)果推斷協(xié)議狀態(tài)機(jī)的方案，該方案首先根據(jù)會(huì)話集構(gòu)建會(huì)話前綴樹，然后利用消息序列的特性進(jìn)行狀態(tài)標(biāo)注，最后利用確定性有限狀態(tài)機(jī)化簡(jiǎn)方法化簡(jiǎn)會(huì)話前綴樹，推斷出協(xié)議的狀態(tài)機(jī)

3、。
　　3．提出狀態(tài)機(jī)比對(duì)方案，根據(jù)協(xié)議狀態(tài)轉(zhuǎn)換中消息序列的字詞和分隔符的特殊性，利用字符串相似度算法比對(duì)推斷出的狀態(tài)機(jī)和已有的狀態(tài)機(jī)，確定推斷出的狀態(tài)機(jī)所屬協(xié)議的完整狀態(tài)機(jī);針對(duì)FTP協(xié)議的測(cè)試證明了狀態(tài)機(jī)比對(duì)方案的可行性和有效性。
　　4．設(shè)計(jì)一個(gè)生成模糊測(cè)試腳本的系統(tǒng)，該系統(tǒng)包括協(xié)議逆向、狀態(tài)機(jī)比對(duì)、協(xié)議信息存儲(chǔ)和模糊測(cè)試腳本生成模塊，其中協(xié)議逆向模塊完成協(xié)議的逆向工作，推斷協(xié)議的消息格式和狀態(tài)機(jī)，狀態(tài)機(jī)比對(duì)模塊比對(duì)推