發(fā)布時間：2017-12-25 09:37

  本文關(guān)鍵詞：基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)制檢測方法　出處：《計(jì)算機(jī)應(yīng)用研究》2015年04期 　論文類型：期刊論文

  更多相關(guān)文章： 網(wǎng)絡(luò)穩(wěn)定性 有限狀態(tài)機(jī) 協(xié)議狀態(tài)機(jī)制 狀態(tài)轉(zhuǎn)移圖

【摘要】：進(jìn)行網(wǎng)絡(luò)穩(wěn)定性測試時,對網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)制進(jìn)行檢測可以有效提高測試的全面性�；谟邢逘顟B(tài)機(jī)思想提出了一種協(xié)議狀態(tài)機(jī)制檢測方法。建立待測協(xié)議特定消息發(fā)送實(shí)體的有限狀態(tài)機(jī)模型,確定輸入集合;測試并監(jiān)測實(shí)體的狀態(tài)轉(zhuǎn)移情況,生成狀態(tài)轉(zhuǎn)移圖;根據(jù)狀態(tài)轉(zhuǎn)移圖判定該消息的狀態(tài)機(jī)制,確定有狀態(tài)協(xié)議消息的觸發(fā)條件,對消息進(jìn)行歸納分類實(shí)現(xiàn)協(xié)議狀態(tài)機(jī)制的判定。搭建實(shí)驗(yàn)環(huán)境,驗(yàn)證了該方法的有效性。
【作者單位】： 國家數(shù)字交換系統(tǒng)工程技術(shù)研究中心;
【基金】：國家“863”計(jì)劃資助項(xiàng)目(2011AA010604,2011AA010605)
【分類號】：TP393.04
【正文快照】： 0引言網(wǎng)絡(luò)中實(shí)體間的通信是通過協(xié)議交互實(shí)現(xiàn)的。協(xié)議是網(wǎng)絡(luò)中信息的載體,協(xié)議的一致性[1]及網(wǎng)絡(luò)流程的穩(wěn)定性是實(shí)現(xiàn)網(wǎng)絡(luò)穩(wěn)定通信的基礎(chǔ)。為及時發(fā)現(xiàn)網(wǎng)絡(luò)及其協(xié)議所存在的安全問題,網(wǎng)絡(luò)協(xié)議安全性測試分析是一種行之有效的方法。通常采用向網(wǎng)絡(luò)中目標(biāo)實(shí)體輸入測試消息來監(jiān)測響

【參考文獻(xiàn)】

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

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

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

3 吳世忠;;信息安全漏洞分析回顧與展望[J];清華大學(xué)學(xué)報(自然科學(xué)版);2009年S2期

4 鄧文達(dá);;基于有限狀態(tài)機(jī)協(xié)議分析模型的入侵檢測系統(tǒng)[J];自動化技術(shù)與應(yīng)用;2006年06期

【共引文獻(xiàn)】

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

1 王巧玲;;基于組織層面的信息安全漏洞分析[J];中國管理信息化;2011年23期

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

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

4 吳冬惠;楊印根;李成林;吳菲;;EFSA模型在入侵檢測中的應(yīng)用與研究[J];電腦知識與技術(shù);2015年01期

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

6 李鑫;李京春;鄭雪峰;張友春;王少杰;;一種基于層次分析法的信息系統(tǒng)漏洞量化評估方法[J];計(jì)算機(jī)科學(xué);2012年07期

7 潘t，

本文編號：1332321