【摘要】：文中建立了一種基于有限狀態(tài)機(jī)(Finite State Automata,FSA)的網(wǎng)絡(luò)安全評(píng)估模型.根據(jù)網(wǎng)絡(luò)安全模型所涉及的各種安全信息及其相關(guān)屬性,用狀態(tài)來(lái)表示攻防雙方的安全形勢(shì);用狀態(tài)遷移表征攻防雙方各種行為所帶來(lái)的安全形勢(shì)變化;用狀態(tài)轉(zhuǎn)移圖的形式直觀地描繪出安全狀態(tài)遷移過(guò)程.通過(guò)模擬攻擊者入侵網(wǎng)絡(luò)的過(guò)程和系統(tǒng)實(shí)現(xiàn)安全防御的過(guò)程,驗(yàn)證了該模型的有效性.

【相似文獻(xiàn)】

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

1 張文波;趙海;蘇威積;徐野;趙明;;基于EWS的HTTP引擎設(shè)計(jì)[J];計(jì)算機(jī)工程;2006年18期

2 龐平;;歷史信息約束的角色訪問(wèn)控制模型[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2011年09期

3 吳永;賀前華;;時(shí)間限制協(xié)議一致性測(cè)試新模型研究[J];計(jì)算機(jī)工程與應(yīng)用;2006年16期

4 劉小玲;潘巨輝;;FSM在海軍作戰(zhàn)仿真CGF中的應(yīng)用[J];計(jì)算機(jī)仿真;2007年08期

5 郭亮;繆淮扣;王皙;陳圣波;;UML模型到FSM模型的轉(zhuǎn)換[J];計(jì)算機(jī)科學(xué);2009年07期

6 方明科;繆淮扣;;一種用于模型驗(yàn)證的Web應(yīng)用模型抽取方法[J];應(yīng)用科學(xué)學(xué)報(bào);2009年01期

7 李俊;;嵌入式軟件層次模型的研究與FSM數(shù)學(xué)模型[J];中國(guó)高新技術(shù)企業(yè);2009年19期

8 趙鯤;王寶生;;基于異步I/O模型的雙機(jī)TCP代理的研究與實(shí)現(xiàn)[J];電腦知識(shí)與技術(shù);2008年33期

9 李軼,彭永進(jìn);基于有限狀態(tài)機(jī)的電力電子電路仿真方法的研究[J];計(jì)算機(jī)仿真;2005年09期

10 倫向敏;侯一民;;有限狀態(tài)機(jī)實(shí)現(xiàn)CMOS成像系統(tǒng)驅(qū)動(dòng)時(shí)序[J];科學(xué)技術(shù)與工程;2008年23期

相關(guān)會(huì)議論文 前10條

1 李煒;許中衛(wèi);劉政怡;劉露露;;非完全確定有限狀態(tài)機(jī)最小化有效算法的研究[A];2005年“數(shù)字安徽”博士科技論壇論文集[C];2005年

2 李煒;吳建國(guó);劉政怡;;非完全確定有限狀態(tài)機(jī)最小閉覆蓋的有效算法[A];第四屆中國(guó)軟件工程大會(huì)論文集[C];2007年

3 王宗義;;有限狀態(tài)機(jī)原理在OA系統(tǒng)中的運(yùn)用[A];廣西計(jì)算機(jī)學(xué)會(huì)25周年紀(jì)念會(huì)暨2011年學(xué)術(shù)年會(huì)論文集[C];2011年

4 鄒循進(jìn);葉云青;陳孝威;;C++游戲開(kāi)發(fā)中可重用動(dòng)態(tài)有限狀態(tài)機(jī)設(shè)計(jì)與實(shí)現(xiàn)[A];第三屆和諧人機(jī)環(huán)境聯(lián)合學(xué)術(shù)會(huì)議（HHME2007）論文集[C];2007年

5 周瑗;楊麗華;;有限狀態(tài)機(jī)的VHDL設(shè)計(jì)[A];2004年電子技術(shù)學(xué)術(shù)研討會(huì)論文集[C];2004年

6 朱維勇;傅桂生;;基于VHDL語(yǔ)言的有限狀態(tài)機(jī)設(shè)計(jì)方法[A];全國(guó)第16屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2004年

7 燕飛;唐濤;;實(shí)時(shí)并發(fā)系統(tǒng)的形式化建模方法研究[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2009年

8 肖軍;賈寧宇;于淼;席寧;;小型爬壁機(jī)器人步態(tài)規(guī)劃的研究[A];2007中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2007年

9 劉曉明;賴祥;黃松;;一種基于鄰接矩陣的有限狀態(tài)機(jī)路徑產(chǎn)生方法[A];全國(guó)第19屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2008年

10 傅欽翠;陳劍云;;基于有限狀態(tài)機(jī)的遠(yuǎn)動(dòng)規(guī)約的設(shè)計(jì)和實(shí)現(xiàn)[A];2006電力系統(tǒng)自動(dòng)化學(xué)術(shù)交流研討大會(huì)論文集[C];2006年

相關(guān)重要報(bào)紙文章 前7條

1 廣東省電信科學(xué)技術(shù)研究院多媒體部 張宇飛 盧燕青;實(shí)時(shí)系統(tǒng)軟件分析和設(shè)計(jì)方法綜述[N];中國(guó)計(jì)算機(jī)報(bào);2000年

2 吳作順;IDS的普遍缺陷[N];中國(guó)計(jì)算機(jī)報(bào);2002年

3 楊國(guó)強(qiáng);SCM工具能做什么[N];計(jì)算機(jī)世界;2001年

4 本報(bào)記者 何進(jìn)偉;突破NAS的桎梏[N];網(wǎng)絡(luò)世界;2002年

5 中國(guó)電子系統(tǒng)設(shè)備工程公司研究所 韓柯;軟件質(zhì)量誰(shuí)把關(guān)？[N];計(jì)算機(jī)世界;2004年

6 ;兩種智能網(wǎng)應(yīng)用協(xié)議比較[N];人民郵電;2001年

7 福建聯(lián)通網(wǎng)優(yōu)中心經(jīng)理 董帝p，

本文編號(hào)：2710311