【摘要】：隨著信息物理融合系統(tǒng)在工業(yè)中的廣泛應用,系統(tǒng)安全已成為關注的焦點,信息物理融合系統(tǒng)的物理依賴和信息驅(qū)動特點使其面臨信息物理雙重威脅。為更加有效地進行應對,采取最佳防御策略,建立了基于層次Petri網(wǎng)的信息物理安全分析模型,并給出了描述攻防博弈策略的博弈網(wǎng)模型,進行了安全博弈分析,構建了納什均衡策略,并采用螢火蟲群算法進行了求解。最后以防空網(wǎng)絡為實例進行了模擬分析,驗證了模型的有效性。
【圖文】：

夢Petr網(wǎng)徑刑

［5～10］，本文首次將層次Petri網(wǎng)引入到CPS安全博弈分析之中，允許不同安全領域?qū)＜曳謩e構建子Petri網(wǎng);提取關鍵攻擊狀態(tài)構建父Petri網(wǎng)，通過加入子Petri網(wǎng)細節(jié)擴充父Petri網(wǎng)，達到信息物理融合系統(tǒng)安全分析建模的目的。該模型避免了因信息物理融合系統(tǒng)基礎設施龐大、信息物理攻擊方式多樣而造成的模型組合爆炸問題。1基于層次Petri網(wǎng)的信息物理安全分析模型一步構建信息物理Petri網(wǎng)模型會因規(guī)模龐大而難以實現(xiàn)，且需要熟悉不同領域的知識。為此，，本章提出一種層次Petri網(wǎng)，先分別構建信息域和物理域子Petri網(wǎng)，如圖1所示;提取關鍵狀態(tài)構建父Petri網(wǎng)，如圖2所示;最后利用子Petri網(wǎng)擴充父Petri網(wǎng)，得到如圖3所示的層次Petri網(wǎng)模型［5，6］。信息物理層次Petri網(wǎng)建模步驟如下:a)由不同領域的專家根據(jù)自己的專業(yè)知識分別構建詳細的子Petri網(wǎng);b)構建CPS的父Petri網(wǎng)，父Petri網(wǎng)只包含關鍵狀態(tài)，忽略具體的變遷信息;c)定義Petri網(wǎng)的所有位置和變遷;d)匹配子Petri網(wǎng)與父Petri網(wǎng)中相同位置，即相同狀態(tài);e)利用子Petri網(wǎng)結合位第34卷第8期2017年8月計算機應用研究ApplicationＲesearchofComputersVol.34No.8Aug．2017
【作者單位】： 94543部隊;空軍工程大學信息與導航學院;
【基金】：國家自然科學基金資助項目(61201299)
【分類號】：TP301.1;TP309

【相似文獻】

相關期刊論文 前10條

1 史東;截擊系統(tǒng)安全隱患[J];中國計算機用戶;2000年22期

2 李一軍,曹榮增,于洋;系統(tǒng)安全工程能力成熟模型簡介[J];計算機應用研究;2001年10期

3 黃國輝;防火墻與系統(tǒng)安全[J];計算機時代;2001年03期

4 ;中國國際計算器信息系統(tǒng)安全展覽會即將召開[J];通訊世界;2002年02期

5 馬紅靜;;提高企業(yè)安全“免疫力”[J];每周電腦報;2002年18期

6 陸波;鐵路信息系統(tǒng)安全體系的構建[J];鐵路計算機應用;2003年05期

7 支曉繁,張世永;信息系統(tǒng)安全量化評價要素研究[J];計算機工程;2004年10期

8 密鑰;巧設系統(tǒng)安全的第一防線[J];網(wǎng)絡與信息;2004年10期

9 成自強;加強系統(tǒng)安全之另類怪招[J];電腦愛好者;2004年21期

10 ;細微做起 全面打造您的電腦系統(tǒng)安全[J];計算機與網(wǎng)絡;2006年Z1期

相關會議論文 前10條

1 劉卓軍;;系統(tǒng)安全探討[A];新觀點新學說學術沙龍文集35：現(xiàn)代社會危機管理與風險決策[C];2009年

2 李小玲;;系統(tǒng)安全理論在原油外銷計量管理中應用[A];江蘇省計量測試學術論文集(2011)[C];2011年

3 潘振宇;;淺談醫(yī)院信息系統(tǒng)安全[A];2009年浙江省醫(yī)學工程學術年會論文匯編[C];2009年

4 武俊芳;鄭秋生;;重要信息系統(tǒng)安全測評工具的研究與設計[A];計算機研究新進展（2010）——河南省計算機學會2010年學術年會論文集[C];2010年

5 劉海峰;張曉梅;李嵩;孫鐵;;信息系統(tǒng)安全測評工具的設計與實現(xiàn)[A];全國網(wǎng)絡與信息安全技術研討會'2005論文集（上冊）[C];2005年

6 葉明芷;劉相坤;;鐵路客票預訂與發(fā)售系統(tǒng)安全技術的應用與發(fā)展[A];第十六次全國計算機安全學術交流會論文集[C];2001年

7 王曉程;;系統(tǒng)安全工程模型概述[A];第十六次全國計算機安全學術交流會論文集[C];2001年

8 萬峻;戴云;;北京市血液中心信息系統(tǒng)安全解決方案[A];中國輸血協(xié)會第五屆輸血大會論文專集（摘要篇）[C];2010年

9 李飛;羅珊;;我軍信息系統(tǒng)安全與防護能力分析[A];開創(chuàng)新世紀的通信技術——第七屆全國青年通信學術會議論文集[C];2001年

10 周澤巖;姚洪磊;祝詠升;張彥;;鐵路信息系統(tǒng)安全仿真平臺的研究[A];Proceedings of 14th Chinese Conference on System Simulation Technology & Application(CCSSTA’2012)[C];2012年

相關重要報紙文章 前10條

1 吳華;商務系統(tǒng)安全督查月活動啟動[N];大同日報;2008年

2 記者 李婧;我省展開教育系統(tǒng)安全大檢查[N];發(fā)展導報;2006年

3 記者 原亮亮;全市教育系統(tǒng)安全穩(wěn)定工作會召開[N];漢中日報;2010年

4 本報記者 高超;系統(tǒng)安全是信息化建設的重中之重[N];中國信息化周報;2013年

5 趙曉輝 高亢 張辛欣;安卓系統(tǒng)安全隱患令人憂[N];國際商報;2014年

6 本報記者 張苗苗;六安煙草:大力加強信息系統(tǒng)安全“免疫”[N];中國信息化周報;2014年

7 向衍蓀（作者系中國職業(yè)安全健康協(xié)會原秘書長）;安全評價要重視“系統(tǒng)安全”[N];中國安全生產(chǎn)報;2005年

8 秦洋;省政府召開教育系統(tǒng)安全穩(wěn)定工作電視電話會[N];山西日報;2004年

9 劉權永;甘孜國稅五強化促信息系統(tǒng)安全[N];甘孜日報(漢文);2009年

10 曹斌;企業(yè)系統(tǒng)安全的基本要素[N];網(wǎng)絡世界;2001年

相關博士學位論文 前7條

1 張兵;RFID系統(tǒng)安全體系架構與關鍵技術研究[D];電子科技大學;2014年

2 方玲;企業(yè)信息系統(tǒng)安全技術選擇與配置優(yōu)化策略研究[D];東南大學;2016年

3 余志偉;面向業(yè)務過程的信息系統(tǒng)安全需求識別方法及其關鍵技術研究[D];浙江大學;2006年

4 陳辰;VANET系統(tǒng)安全的關鍵問題研究[D];復旦大學;2011年

5 王欣;WEB應用系統(tǒng)安全檢測關鍵技術研究[D];北京郵電大學;2011年

6 羅景峰;基于可變模糊集的系統(tǒng)安全理論研究[D];東北大學;2012年

7 高漢軍;虛擬計算環(huán)境下系統(tǒng)安全增強方法研究[D];武漢大學;2012年

相關碩士學位論文 前10條

1 黃義夫;RFID系統(tǒng)安全檢測關鍵技術研究[D];電子科技大學;2014年

2 安沛;企業(yè)OA系統(tǒng)安全機制的研究與應用[D];西安工程大學;2015年

3 楊琪;地鐵車站靜態(tài)導引標識系統(tǒng)安全功效評價研究[D];北京交通大學;2016年

4 顧漢珂;安全風險疊加評價模式研究[D];沈陽航空航天大學;2016年

5 李鳳強;齊魯乙烯系統(tǒng)安全管理模式研究[D];大連理工大學;2001年

6 張振遠;系統(tǒng)安全工程在系統(tǒng)開發(fā)階段的應用研究[D];哈爾濱工業(yè)大學;2007年

7 曹學民;城市通卡系統(tǒng)安全體系研究與設計[D];電子科技大學;2005年

8 高婭玲;中國航天科工集團公司網(wǎng)絡財務系統(tǒng)安全方案研究及實現(xiàn)[D];四川大學;2003年

9 林忠澤;金融企業(yè)信息系統(tǒng)安全解決方案的設計與實現(xiàn)[D];東北大學;2009年

10 劉果生;保障網(wǎng)上電子報稅系統(tǒng)安全的PKI/CA體系的研究與實現(xiàn)[D];同濟大學;2006年

本文編號：2537707