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

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

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

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

【部分圖文】：

圖4.2兩個(gè)評(píng)分函數(shù)的比較

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

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

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



本文編號(hào)：3421389