【摘要】：攻擊行為建模對網(wǎng)絡(luò)安全分析與評估具有重要的作用。該文定義了一種基于廣義隨機(jī)著色Petri網(wǎng)的網(wǎng)絡(luò)攻擊組合模型,該模型能清晰表達(dá)攻擊組合中各組合部分之間的關(guān)聯(lián)關(guān)系,給出了攻擊行為、攻擊組合運(yùn)算的定義和攻擊組合的建立算法,并對組合模型的結(jié)構(gòu)復(fù)雜度進(jìn)行了度量。在此基礎(chǔ)上,從系統(tǒng)性能分析的角度對時(shí)間代價(jià)進(jìn)行評估。針對網(wǎng)絡(luò)實(shí)例的分析進(jìn)一步驗(yàn)證了所提出的組合模型及相關(guān)計(jì)算方法的有效性。
[Abstract]:Attack behavior modeling plays an important role in network security analysis and evaluation. In this paper, a network attack combination model based on generalized random colored Petri nets is defined. The model can clearly express the relationship among the components of attack combination, and give the attack behavior. The definition of attack combination operation and the establishment algorithm of attack combination are given, and the structural complexity of the combination model is measured. On this basis, the time cost is evaluated from the point of view of system performance analysis. The effectiveness of the proposed combination model and related calculation methods is further verified by the analysis of network examples.
【作者單位】： 解放軍信息工程大學(xué)數(shù)學(xué)工程與先進(jìn)計(jì)算國家重點(diǎn)實(shí)驗(yàn)室;
【基金】：國家自然科學(xué)基金(60902102,61272489) 鄭州市科技創(chuàng)新團(tuán)隊(duì)項(xiàng)目(10CXTD150)資助課題
【分類號】：TP393.08

【參考文獻(xiàn)】

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

1 林闖,曲揚(yáng),鄭波,田立勤;一種隨機(jī)Petri網(wǎng)性能等價(jià)化簡與分析方法[J];電子學(xué)報(bào);2002年11期

2 陳鋒;劉德輝;張怡;蘇金樹;;基于威脅傳播模型的層次化網(wǎng)絡(luò)安全評估方法[J];計(jì)算機(jī)研究與發(fā)展;2011年06期

3 馮萍慧;連一峰;戴英俠;李聞;張穎君;;面向網(wǎng)絡(luò)系統(tǒng)的脆弱性利用成本估算模型[J];計(jì)算機(jī)學(xué)報(bào);2006年08期

4 王永杰;鮮明;劉進(jìn);王國玉;;基于攻擊圖模型的網(wǎng)絡(luò)安全評估研究[J];通信學(xué)報(bào);2007年03期

5 吳迪;馮登國;連一峰;陳愷;;一種給定脆弱性環(huán)境下的安全措施效用評估模型[J];軟件學(xué)報(bào);2012年07期

【共引文獻(xiàn)】

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

1 馬俊春;孫繼銀;王勇軍;趙寶康;陳珊;;基于分布并行處理的攻擊圖構(gòu)建方法研究[J];兵工學(xué)報(bào);2012年01期

2 肖軍;鄧海鴻;高允鋒;周春貴;劉雷;;基于Petri網(wǎng)的工作流建模及時(shí)間性能分析[J];吉林大學(xué)學(xué)報(bào)(信息科學(xué)版);2009年01期

3 劉念;張建華;段斌;劉文霞;張昊;;網(wǎng)絡(luò)環(huán)境下變電站自動化通信系統(tǒng)脆弱性評估[J];電力系統(tǒng)自動化;2008年08期

4 趙慧;;使用Petri網(wǎng)對網(wǎng)格服務(wù)進(jìn)行建模[J];大眾科技;2008年05期

5 黃敏,陳國龍;利用隨機(jī)Petri網(wǎng)進(jìn)行系統(tǒng)性能評價(jià)的探討[J];福建電腦;2004年11期

6 李衛(wèi)民;徐炳雪;;基于NuSMV的攻擊圖模型生成技術(shù)研究[J];硅谷;2010年19期

7 林紹森;李曉蘭;;采用Petri技術(shù)構(gòu)建高校應(yīng)急預(yù)案管理模型[J];硅谷;2010年24期

8 洪亞玲;;探究計(jì)算機(jī)網(wǎng)絡(luò)安全性分析建模研究[J];計(jì)算機(jī)光盤軟件與應(yīng)用;2013年02期

9 周華;周海軍;馬建鋒;;基于博弈論的入侵容忍系統(tǒng)安全性分析模型[J];電子與信息學(xué)報(bào);2013年08期

10 胡亮;解男男;努爾布力;劉志宇;柴勝;;基于智能規(guī)劃的多步攻擊場景識別算法[J];電子學(xué)報(bào);2013年09期

相關(guān)會議論文 前1條

1 黃福鑫;鄭康鋒;胡影;張玲;;一種基于滲透圖的信息安全風(fēng)險(xiǎn)過程模型[A];第十三屆中國科協(xié)年會第11分會場-中國智慧城市論壇論文集[C];2011年

相關(guān)博士學(xué)位論文 前10條

1 郭遲;基于復(fù)雜網(wǎng)絡(luò)的Internet脆弱性研究[D];武漢大學(xué);2010年

2 占濟(jì)舟;失信因子對軟件可信性的影響及其控制[D];南京大學(xué);2011年

3 劉雪嬌;網(wǎng)絡(luò)脆弱性評估及入侵報(bào)警分析技術(shù)研究[D];華中師范大學(xué);2011年

4 趙金輝;基于可變模糊集理論的系統(tǒng)生存性關(guān)鍵技術(shù)研究[D];中國礦業(yè)大學(xué)（北京）;2011年

5 張鎮(zhèn);面向迎賓機(jī)器人組件化系統(tǒng)的建模與控制研究[D];上海交通大學(xué);2011年

6 姜偉;基于攻防博弈模型的主動防御關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2010年

7 韓正強(qiáng);突發(fā)事件應(yīng)急過程能力評價(jià)研究[D];華中科技大學(xué);2011年

8 譚興烈;IP層安全體系結(jié)構(gòu)研究與實(shí)踐[D];四川大學(xué);2003年

9 朱海平;支持業(yè)務(wù)流程管理的工作流建模和分析理論研究[D];華中科技大學(xué);2004年

10 林松;電子支付安全體系結(jié)構(gòu)的研究與實(shí)現(xiàn)[D];四川大學(xué);2005年

相關(guān)碩士學(xué)位論文 前10條

1 徐飛;網(wǎng)絡(luò)安全評估的研究與實(shí)現(xiàn)[D];鄭州大學(xué);2010年

2 王磊;大連市財(cái)政系統(tǒng)網(wǎng)絡(luò)安全設(shè)計(jì)與實(shí)現(xiàn)[D];大連海事大學(xué);2010年

3 吳迪;高維空間中基于空間劃分的離群點(diǎn)挖掘算法研究[D];河北工程大學(xué);2010年

4 張娜;基于Token行為Petri網(wǎng)及其應(yīng)用研究[D];沈陽大學(xué);2011年

5 王建紅;基于網(wǎng)絡(luò)的安全評估技術(shù)研究與設(shè)計(jì)[D];中原工學(xué)院;2011年

6 廖揚(yáng)振;基于工作流的倉庫備用物料信息管理系統(tǒng)的研究與設(shè)計(jì)[D];武漢理工大學(xué);2011年

7 邵長明;基于Petri網(wǎng)的幾個(gè)并發(fā)問題的建模與分析[D];西華大學(xué);2011年

8 趙寧;基于流程化攻擊場景重構(gòu)的網(wǎng)絡(luò)風(fēng)險(xiǎn)評估[D];華中師范大學(xué);2011年

9 談革新;復(fù)雜網(wǎng)絡(luò)拓?fù)鋵涌箽詼y度研究[D];南京理工大學(xué);2011年

10 李旭光;基于粗糙集的網(wǎng)絡(luò)安全評估模型研究與實(shí)現(xiàn)[D];電子科技大學(xué);2011年

【二級參考文獻(xiàn)】

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

1 田立勤,林闖,周文江;隨機(jī)Petri網(wǎng)模型中變遷的串、并聯(lián)性能等價(jià)化簡技術(shù)[J];電子學(xué)報(bào);2002年08期

2 王曉程,劉恩德,謝小權(quán);攻擊分類研究與分布式網(wǎng)絡(luò)入侵檢測系統(tǒng)[J];計(jì)算機(jī)研究與發(fā)展;2001年06期

3 林闖;一種資源共享系統(tǒng)的模型和近似性能分析[J];計(jì)算機(jī)學(xué)報(bào);1997年10期

4 邢栩嘉,林闖,蔣屹新;計(jì)算機(jī)系統(tǒng)脆弱性評估研究[J];計(jì)算機(jī)學(xué)報(bào);2004年01期

5 林闖;汪洋;李泉林;;網(wǎng)絡(luò)安全的隨機(jī)模型方法與評價(jià)技術(shù)[J];計(jì)算機(jī)學(xué)報(bào);2005年12期

6 陳秀真;鄭慶華;管曉宏;林晨光;;層次化網(wǎng)絡(luò)安全威脅態(tài)勢量化評估方法[J];軟件學(xué)報(bào);2006年04期

7 陳鋒;張怡;蘇金樹;韓文報(bào);;攻擊圖的兩種形式化分析[J];軟件學(xué)報(bào);2010年04期

8 張永錚,云曉春,胡銘曾;基于特權(quán)提升的多維量化屬性弱點(diǎn)分類法的研究[J];通信學(xué)報(bào);2004年07期

相關(guān)碩士學(xué)位論文 前1條

1 莊朝暉;基于攻擊樹的多層次入侵檢測及其在Linux上的原型[D];廈門大學(xué);2002年

【相似文獻(xiàn)】

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

1 余道華;黃瑾娉;王振宇;;基于Petri網(wǎng)的安全協(xié)議分析[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2008年11期

2 印玉蘭;崔煥慶;;基于Petri網(wǎng)的點(diǎn)到點(diǎn)通信并行程序驗(yàn)證[J];安徽理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年01期

3 王曉媛;左風(fēng)朝;;基本數(shù)據(jù)鏈路層協(xié)議的Petri網(wǎng)模型分析與優(yōu)化[J];中國科技信息;2005年23期

4 王清陽,王越超,席寧;基于Petri網(wǎng)的Web數(shù)據(jù)庫訪問的建模研究[J];計(jì)算機(jī)應(yīng)用與軟件;2003年04期

5 王春江,符意德,黃志同;Petri網(wǎng)在C3I系統(tǒng)建模分析和綜合中的應(yīng)用[J];火力與指揮控制;1996年02期

6 程永上;王志堅(jiān);;語義Web服務(wù)組合的形式化描述與驗(yàn)證研究[J];計(jì)算機(jī)科學(xué);2008年04期

7 馬玉祥,李遠(yuǎn)軍,劉彥明;智能網(wǎng)業(yè)務(wù)中的Petri網(wǎng)建模及驗(yàn)證方法[J];西安電子科技大學(xué)學(xué)報(bào);2004年02期

8 黃紹龍;;基于Petri網(wǎng)的Web服務(wù)組合化簡方法的研究[J];硅谷;2010年02期

9 雷麗暉;段振華;;語義標(biāo)記Petri網(wǎng)的組合Web服務(wù)建模與驗(yàn)證(英文)[J];計(jì)算機(jī)科學(xué)與探索;2009年02期

10 趙宏波,鄭會頌,盧學(xué)虎;Petri網(wǎng)在電信管理網(wǎng)可信性建模中的應(yīng)用[J];南京郵電學(xué)院學(xué)報(bào)(自然科學(xué)版);1998年Z1期

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

1 薛靜鋒;曹元大;;Petri網(wǎng)在入侵檢測中的應(yīng)用[A];第六屆全國計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會議論文集[C];2002年

2 方娟;王志杰;;SOA架構(gòu)下基于Petri網(wǎng)的Web服務(wù)協(xié)商模型[A];2009年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會議論文集(上冊)[C];2009年

3 常欣;袁華;逄煥利;胡亮;王U，

本文編號：2462013