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

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

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

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