自動化的網絡協議狀態(tài)機逆向方法研究.pdf

1、網絡協議的詳細信息在網絡安全研究和管理中有著相當重要的作用，不過現在實際應用中的協議大多都是私有的協議，缺乏公開的描述信息，從而人們開始研究協議逆向工程的方法。協議逆向工程的研究試圖使用一定的手段，能夠對網絡協議進行自動化的解析，獲得協議的報文格式模板和協議狀態(tài)機模型。
　　在推斷網絡協議的狀態(tài)機模型中，可以使用的方法包括離線算法和在線算法。基于離線的網絡協議狀態(tài)機模型推斷算法，根據所選取的測試集合，最終推斷的狀態(tài)機模型準確度存在

2、很大的不同。而在線算法在推斷網絡協議狀態(tài)機時，利用自動的生成待測試集合，增加了算法的精確度，能夠推斷出更準確的協議的狀態(tài)機。針對網絡協議具有明顯輸入、輸出的特性，基于在線算法L*，進行改進，構造一個Mealy狀態(tài)機模型的推斷算法，加之采用有很高效率的反例處理方案，減小了生成狀態(tài)機的復雜程度，而且減小了成員查詢的次數。實現了一個自動化的協議狀態(tài)機逆向的原型系統，通過詞法分析、語法分析等階段，在沒有任何協議信息的前提下，能夠自動化的推斷出網