【摘要】：針對現(xiàn)有協(xié)議狀態(tài)機(jī)推斷方法忽視協(xié)議系統(tǒng)輸入輸出報(bào)文之間的內(nèi)在關(guān)系,導(dǎo)致自動化程度較低等問題,提出一種基于狀態(tài)融合的協(xié)議狀態(tài)機(jī)推斷方法。首先采集會話樣本,將會話過程的輸入輸出報(bào)文序列抽象為符號序列;然后采用擴(kuò)展前綴樹轉(zhuǎn)換器(EPTT)構(gòu)建初始狀態(tài)機(jī),通過各狀態(tài)對相同輸入符號序列的狀態(tài)轉(zhuǎn)換和輸出響應(yīng)評判其相似度,依據(jù)相似度的高低搜尋候選狀態(tài)對并嘗試對其融合,同時(shí)有針對性地構(gòu)造測試用例以驗(yàn)證此次融合的正確性。上述流程反復(fù)執(zhí)行,直到?jīng)]有可融合的狀態(tài)。結(jié)果表明,該方法自動化程度較高,推斷出的結(jié)果與真實(shí)協(xié)議狀態(tài)機(jī)高度吻合。
[Abstract]:A protocol state machine inference method based on state fusion is proposed to solve the problem that the existing protocol state machine inference methods ignore the inherent relationship between the input and output packets of the protocol system and lead to low degree of automation. The input and output message sequence of the session process is abstracted into a symbol sequence, and then the initial state machine is constructed by using the extended prefix tree converter (EPTT). The similarity is evaluated by the state transformation and output response of each state to the same input symbol sequence, and the candidate state pair is searched according to the similarity and the fusion of the candidate state pair is attempted. At the same time, test cases are constructed to verify the correctness of the fusion. The above process is repeated until there is no state of convergence. The results show that the degree of automation of the method is high, and the inferred results are in good agreement with the real protocol state machine.
【作者單位】： 解放軍理工大學(xué)指揮信息系統(tǒng)學(xué)院;
【基金】：江蘇省自然科學(xué)基金資助項(xiàng)目(BK2011115,BK20131069)
【分類號】：TP393.08

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 劉豫;王明華;蘇璞睿;馮登國;;基于動態(tài)污點(diǎn)分析的惡意代碼通信協(xié)議逆向分析方法[J];電子學(xué)報(bào);2012年04期

2 李偉明;張愛芳;劉建財(cái);李之棠;;網(wǎng)絡(luò)協(xié)議的自動化模糊測試漏洞挖掘方法[J];計(jì)算機(jī)學(xué)報(bào);2011年02期

3 劉攀;繆淮扣;曾紅衛(wèi);劉陽;;基于FSM的測試?yán)碚�、方法及評估[J];計(jì)算機(jī)學(xué)報(bào);2011年06期

4 田園;李建斌;張振;;一種逆向分析協(xié)議狀態(tài)機(jī)模型的有效方法[J];計(jì)算機(jī)工程與應(yīng)用;2011年19期

5 肖明明;余順爭;;基于文法推斷的協(xié)議逆向工程[J];計(jì)算機(jī)研究與發(fā)展;2013年10期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 董成基;齊杏林;呂靜;趙志寧;;飛行控制軟件測試用例生成技術(shù)[J];兵工自動化;2012年09期

2 張釗;唐文;溫巧燕;;一種基于長度語義約束的報(bào)文格式挖掘方法[J];北京郵電大學(xué)學(xué)報(bào);2012年06期

3 蘇成悅;李文杰;莊偉林;;基于FSM的短距離家居通訊協(xié)議的分析及應(yīng)用[J];廣東工業(yè)大學(xué)學(xué)報(bào);2013年02期

4 黃俊強(qiáng);宋超臣;;一種多方聯(lián)動的信息系統(tǒng)漏洞應(yīng)對方案[J];信息安全與技術(shù);2014年06期

5 李楨;徐海水;;基于不確定性的并發(fā)正確性測試方法的改進(jìn)[J];廣東工業(yè)大學(xué)學(xué)報(bào);2014年03期

6 謝昊飛;蘇德龍;肖尚青;郝飛飛;;基于FSM的WIA-PA協(xié)議測試序列自動生成技術(shù)研究[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2014年24期

7 趙悅;程子傲;董宇;;網(wǎng)絡(luò)協(xié)議自動化逆向分析技術(shù)研究[J];硅谷;2015年03期

8 孟凡治;劉淵;張春瑞;李桐;;基于狀態(tài)相關(guān)字段識別的未知二進(jìn)制協(xié)議狀態(tài)機(jī)逆向方法[J];電訊技術(shù);2015年04期

9 潘t，

本文編號：2159851