基于狀態(tài)標(biāo)注的協(xié)議狀態(tài)機(jī)逆向方法
發(fā)布時間:2018-09-06 14:44
【摘要】:協(xié)議狀態(tài)機(jī)可以描述一個協(xié)議的行為,幫助理解協(xié)議的行為邏輯。面向文本類協(xié)議,首先利用統(tǒng)計學(xué)方法提取表示報文類型的語義關(guān)鍵字;然后利用鄰接矩陣描述報文類型之間的時序關(guān)系,基于時序關(guān)系進(jìn)行協(xié)議狀態(tài)標(biāo)注,構(gòu)建出協(xié)議的狀態(tài)轉(zhuǎn)換圖。實驗表明,該方法可以正確地描述出報文類型的時序關(guān)系,抽象出準(zhǔn)確的狀態(tài)機(jī)模型。
[Abstract]:Protocol state machines can describe the behavior of a protocol and help to understand its behavioral logic. For text-class protocols, the semantic keywords representing message types are extracted by statistical method, then the temporal relationships between message types are described by adjacency matrix, and the protocol status is annotated based on temporal relationships. The state transition diagram of the protocol is constructed. Experimental results show that the proposed method can correctly describe the temporal relationships of message types and abstract accurate state machine models.
【作者單位】: 信息工程大學(xué);
【基金】:國家973計劃項目(2011CB311801) 河南省科技創(chuàng)新人才計劃項目(114200510001)
【分類號】:TP393.08
[Abstract]:Protocol state machines can describe the behavior of a protocol and help to understand its behavioral logic. For text-class protocols, the semantic keywords representing message types are extracted by statistical method, then the temporal relationships between message types are described by adjacency matrix, and the protocol status is annotated based on temporal relationships. The state transition diagram of the protocol is constructed. Experimental results show that the proposed method can correctly describe the temporal relationships of message types and abstract accurate state machine models.
【作者單位】: 信息工程大學(xué);
【基金】:國家973計劃項目(2011CB311801) 河南省科技創(chuàng)新人才計劃項目(114200510001)
【分類號】:TP393.08
【參考文獻(xiàn)】
相關(guān)期刊論文 前6條
1 李偉明;張愛芳;劉建財;李之棠;;網(wǎng)絡(luò)協(xié)議的自動化模糊測試漏洞挖掘方法[J];計算機(jī)學(xué)報;2011年02期
2 郝耀輝;郭淵博;劉偉;李景鋒;;基于有限自動機(jī)的密碼協(xié)議入侵檢測方法[J];計算機(jī)應(yīng)用研究;2008年01期
3 潘t,
本文編號:2226677
本文鏈接:http://www.sikaile.net/guanlilunwen/ydhl/2226677.html
最近更新
教材專著