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

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

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

3、。
　　3．提出狀態(tài)機比對方案，根據協(xié)議狀態(tài)轉換中消息序列的字詞和分隔符的特殊性，利用字符串相似度算法比對推斷出的狀態(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)機比對模塊比對推