自動化的網(wǎng)絡(luò)協(xié)議狀態(tài)機逆向方法研究.pdf

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

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