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

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

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