網(wǎng)絡(luò)協(xié)議的技術(shù)信息對入侵檢測、模糊測試和協(xié)議重用等有著非常重要的作用，但是現(xiàn)在網(wǎng)絡(luò)中使用的協(xié)議大部分都是非公開的協(xié)議，沒有正式的描述文檔，因此，研究人員提出了協(xié)議逆向工程。協(xié)議逆向工程的研究力圖建立一套通用的方法，自動化地對協(xié)議進(jìn)行分析處理，得到協(xié)議的技術(shù)特征。目前的協(xié)議逆向工程研究大部分致力于協(xié)議報文格式的解析，而忽略了協(xié)議的行為模式識別，即協(xié)議狀態(tài)機(jī)的還原。在協(xié)議狀態(tài)機(jī)的還原方面，多數(shù)的研究是使用離線算法，較少的研究使用在線算法�；谠诰�算法的協(xié)議逆向工程，可以動態(tài)的產(chǎn)生待測試的序列，提高學(xué)習(xí)的精度，得到更準(zhǔn)確的協(xié)議狀態(tài)機(jī)模型。改進(jìn)的在線算法NL^*，使用了高效的反例處理策略，降低了算法構(gòu)造狀態(tài)機(jī)的復(fù)雜度，并減少了所需的成員確認(rèn)。另外，對在線算法在協(xié)議逆向的應(yīng)用進(jìn)行了兩點(diǎn)優(yōu)化，充分利用協(xié)議逆向第一階段的成果，學(xué)習(xí)初始集，使用協(xié)議知識進(jìn)行成員確認(rèn)的過濾，進(jìn)一步提高了協(xié)議狀態(tài)機(jī)推斷的效率。實(shí)驗(yàn)結(jié)果顯示，原始的NL^*算法比L*算法需要更多的成員確認(rèn)，而改進(jìn)的NL^*算法，比L*算法更加地高效，需要更少的成員確認(rèn)和等效確認(rèn)，在對... 

【文章來源】：華中科技大學(xué)湖北省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：53 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖4.2兩個評分函數(shù)的比較

L*、NL*與改進(jìn)NL*的成員確認(rèn)對比1

L*、NL*和改進(jìn)的NL*等效確認(rèn)次數(shù)對比測試結(jié)果，可以得出結(jié)論：NL*在字母表比較大、有效狀態(tài)轉(zhuǎn)換多、終止條

【參考文獻(xiàn)】：
期刊論文
[1]一種逆向分析協(xié)議狀態(tài)機(jī)模型的有效方法[J]. 田園,李建斌,張振.  計算機(jī)工程與應(yīng)用. 2011(19)
[2]網(wǎng)絡(luò)協(xié)議的自動化模糊測試漏洞挖掘方法[J]. 李偉明,張愛芳,劉建財,李之棠.  計算機(jī)學(xué)報. 2011(02)



本文編號：3421389