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