基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)制檢測(cè)方法
本文關(guān)鍵詞:基于有限狀態(tài)機(jī)的網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)制檢測(cè)方法 出處:《計(jì)算機(jī)應(yīng)用研究》2015年04期 論文類(lèi)型:期刊論文
更多相關(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)定性測(cè)試時(shí),對(duì)網(wǎng)絡(luò)協(xié)議狀態(tài)機(jī)制進(jìn)行檢測(cè)可以有效提高測(cè)試的全面性;谟邢逘顟B(tài)機(jī)思想提出了一種協(xié)議狀態(tài)機(jī)制檢測(cè)方法。建立待測(cè)協(xié)議特定消息發(fā)送實(shí)體的有限狀態(tài)機(jī)模型,確定輸入集合;測(cè)試并監(jiān)測(cè)實(shí)體的狀態(tài)轉(zhuǎn)移情況,生成狀態(tài)轉(zhuǎn)移圖;根據(jù)狀態(tài)轉(zhuǎn)移圖判定該消息的狀態(tài)機(jī)制,確定有狀態(tài)協(xié)議消息的觸發(fā)條件,對(duì)消息進(jìn)行歸納分類(lèi)實(shí)現(xiàn)協(xié)議狀態(tài)機(jī)制的判定。搭建實(shí)驗(yàn)環(huán)境,驗(yàn)證了該方法的有效性。
【作者單位】: 國(guó)家數(shù)字交換系統(tǒng)工程技術(shù)研究中心;
【基金】:國(guó)家“863”計(jì)劃資助項(xiàng)目(2011AA010604,2011AA010605)
【分類(lèi)號(hào)】:TP393.04
【正文快照】: 0引言網(wǎng)絡(luò)中實(shí)體間的通信是通過(guò)協(xié)議交互實(shí)現(xiàn)的。協(xié)議是網(wǎng)絡(luò)中信息的載體,協(xié)議的一致性[1]及網(wǎng)絡(luò)流程的穩(wěn)定性是實(shí)現(xiàn)網(wǎng)絡(luò)穩(wěn)定通信的基礎(chǔ)。為及時(shí)發(fā)現(xiàn)網(wǎng)絡(luò)及其協(xié)議所存在的安全問(wèn)題,網(wǎng)絡(luò)協(xié)議安全性測(cè)試分析是一種行之有效的方法。通常采用向網(wǎng)絡(luò)中目標(biāo)實(shí)體輸入測(cè)試消息來(lái)監(jiān)測(cè)響
【參考文獻(xiàn)】
相關(guān)期刊論文 前4條
1 劉豫;王明華;蘇璞睿;馮登國(guó);;基于動(dòng)態(tài)污點(diǎn)分析的惡意代碼通信協(xié)議逆向分析方法[J];電子學(xué)報(bào);2012年04期
2 李偉明;張愛(ài)芳;劉建財(cái);李之棠;;網(wǎng)絡(luò)協(xié)議的自動(dòng)化模糊測(cè)試漏洞挖掘方法[J];計(jì)算機(jī)學(xué)報(bào);2011年02期
3 吳世忠;;信息安全漏洞分析回顧與展望[J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年S2期
4 鄧文達(dá);;基于有限狀態(tài)機(jī)協(xié)議分析模型的入侵檢測(cè)系統(tǒng)[J];自動(dòng)化技術(shù)與應(yīng)用;2006年06期
【共引文獻(xiàn)】
相關(guān)期刊論文 前10條
1 王巧玲;;基于組織層面的信息安全漏洞分析[J];中國(guó)管理信息化;2011年23期
2 張釗;唐文;溫巧燕;;一種基于長(zhǎng)度語(yǔ)義約束的報(bào)文格式挖掘方法[J];北京郵電大學(xué)學(xué)報(bào);2012年06期
3 黃俊強(qiáng);宋超臣;;一種多方聯(lián)動(dòng)的信息系統(tǒng)漏洞應(yīng)對(duì)方案[J];信息安全與技術(shù);2014年06期
4 吳冬惠;楊印根;李成林;吳菲;;EFSA模型在入侵檢測(cè)中的應(yīng)用與研究[J];電腦知識(shí)與技術(shù);2015年01期
5 趙悅;程子傲;董宇;;網(wǎng)絡(luò)協(xié)議自動(dòng)化逆向分析技術(shù)研究[J];硅谷;2015年03期
6 李鑫;李京春;鄭雪峰;張友春;王少杰;;一種基于層次分析法的信息系統(tǒng)漏洞量化評(píng)估方法[J];計(jì)算機(jī)科學(xué);2012年07期
7 潘t,
本文編號(hào):1332321
本文鏈接:http://www.sikaile.net/guanlilunwen/ydhl/1332321.html