基于層次Petri網(wǎng)的信息物理融合系統(tǒng)安全博弈建模
【圖文】:
夢(mèng)Petr網(wǎng)徑刑
[5~10],本文首次將層次Petri網(wǎng)引入到CPS安全博弈分析之中,允許不同安全領(lǐng)域?qū)<曳謩e構(gòu)建子Petri網(wǎng);提取關(guān)鍵攻擊狀態(tài)構(gòu)建父Petri網(wǎng),通過加入子Petri網(wǎng)細(xì)節(jié)擴(kuò)充父Petri網(wǎng),達(dá)到信息物理融合系統(tǒng)安全分析建模的目的。該模型避免了因信息物理融合系統(tǒng)基礎(chǔ)設(shè)施龐大、信息物理攻擊方式多樣而造成的模型組合爆炸問題。1基于層次Petri網(wǎng)的信息物理安全分析模型一步構(gòu)建信息物理Petri網(wǎng)模型會(huì)因規(guī)模龐大而難以實(shí)現(xiàn),且需要熟悉不同領(lǐng)域的知識(shí)。為此,,本章提出一種層次Petri網(wǎng),先分別構(gòu)建信息域和物理域子Petri網(wǎng),如圖1所示;提取關(guān)鍵狀態(tài)構(gòu)建父Petri網(wǎng),如圖2所示;最后利用子Petri網(wǎng)擴(kuò)充父Petri網(wǎng),得到如圖3所示的層次Petri網(wǎng)模型[5,6]。信息物理層次Petri網(wǎng)建模步驟如下:a)由不同領(lǐng)域的專家根據(jù)自己的專業(yè)知識(shí)分別構(gòu)建詳細(xì)的子Petri網(wǎng);b)構(gòu)建CPS的父Petri網(wǎng),父Petri網(wǎng)只包含關(guān)鍵狀態(tài),忽略具體的變遷信息;c)定義Petri網(wǎng)的所有位置和變遷;d)匹配子Petri網(wǎng)與父Petri網(wǎng)中相同位置,即相同狀態(tài);e)利用子Petri網(wǎng)結(jié)合位第34卷第8期2017年8月計(jì)算機(jī)應(yīng)用研究ApplicationResearchofComputersVol.34No.8Aug.2017
【作者單位】: 94543部隊(duì);空軍工程大學(xué)信息與導(dǎo)航學(xué)院;
【基金】:國(guó)家自然科學(xué)基金資助項(xiàng)目(61201299)
【分類號(hào)】:TP301.1;TP309
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 史東;截?fù)粝到y(tǒng)安全隱患[J];中國(guó)計(jì)算機(jī)用戶;2000年22期
2 李一軍,曹榮增,于洋;系統(tǒng)安全工程能力成熟模型簡(jiǎn)介[J];計(jì)算機(jī)應(yīng)用研究;2001年10期
3 黃國(guó)輝;防火墻與系統(tǒng)安全[J];計(jì)算機(jī)時(shí)代;2001年03期
4 ;中國(guó)國(guó)際計(jì)算器信息系統(tǒng)安全展覽會(huì)即將召開[J];通訊世界;2002年02期
5 馬紅靜;;提高企業(yè)安全“免疫力”[J];每周電腦報(bào);2002年18期
6 陸波;鐵路信息系統(tǒng)安全體系的構(gòu)建[J];鐵路計(jì)算機(jī)應(yīng)用;2003年05期
7 支曉繁,張世永;信息系統(tǒng)安全量化評(píng)價(jià)要素研究[J];計(jì)算機(jī)工程;2004年10期
8 密鑰;巧設(shè)系統(tǒng)安全的第一防線[J];網(wǎng)絡(luò)與信息;2004年10期
9 成自強(qiáng);加強(qiáng)系統(tǒng)安全之另類怪招[J];電腦愛好者;2004年21期
10 ;細(xì)微做起 全面打造您的電腦系統(tǒng)安全[J];計(jì)算機(jī)與網(wǎng)絡(luò);2006年Z1期
相關(guān)會(huì)議論文 前10條
1 劉卓軍;;系統(tǒng)安全探討[A];新觀點(diǎn)新學(xué)說學(xué)術(shù)沙龍文集35:現(xiàn)代社會(huì)危機(jī)管理與風(fēng)險(xiǎn)決策[C];2009年
2 李小玲;;系統(tǒng)安全理論在原油外銷計(jì)量管理中應(yīng)用[A];江蘇省計(jì)量測(cè)試學(xué)術(shù)論文集(2011)[C];2011年
3 潘振宇;;淺談醫(yī)院信息系統(tǒng)安全[A];2009年浙江省醫(yī)學(xué)工程學(xué)術(shù)年會(huì)論文匯編[C];2009年
4 武俊芳;鄭秋生;;重要信息系統(tǒng)安全測(cè)評(píng)工具的研究與設(shè)計(jì)[A];計(jì)算機(jī)研究新進(jìn)展(2010)——河南省計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年
5 劉海峰;張曉梅;李嵩;孫鐵;;信息系統(tǒng)安全測(cè)評(píng)工具的設(shè)計(jì)與實(shí)現(xiàn)[A];全國(guó)網(wǎng)絡(luò)與信息安全技術(shù)研討會(huì)'2005論文集(上冊(cè))[C];2005年
6 葉明芷;劉相坤;;鐵路客票預(yù)訂與發(fā)售系統(tǒng)安全技術(shù)的應(yīng)用與發(fā)展[A];第十六次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2001年
7 王曉程;;系統(tǒng)安全工程模型概述[A];第十六次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2001年
8 萬(wàn)峻;戴云;;北京市血液中心信息系統(tǒng)安全解決方案[A];中國(guó)輸血協(xié)會(huì)第五屆輸血大會(huì)論文專集(摘要篇)[C];2010年
9 李飛;羅珊;;我軍信息系統(tǒng)安全與防護(hù)能力分析[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2001年
10 周澤巖;姚洪磊;祝詠升;張彥;;鐵路信息系統(tǒng)安全仿真平臺(tái)的研究[A];Proceedings of 14th Chinese Conference on System Simulation Technology & Application(CCSSTA’2012)[C];2012年
相關(guān)重要報(bào)紙文章 前10條
1 吳華;商務(wù)系統(tǒng)安全督查月活動(dòng)啟動(dòng)[N];大同日?qǐng)?bào);2008年
2 記者 李婧;我省展開教育系統(tǒng)安全大檢查[N];發(fā)展導(dǎo)報(bào);2006年
3 記者 原亮亮;全市教育系統(tǒng)安全穩(wěn)定工作會(huì)召開[N];漢中日?qǐng)?bào);2010年
4 本報(bào)記者 高超;系統(tǒng)安全是信息化建設(shè)的重中之重[N];中國(guó)信息化周報(bào);2013年
5 趙曉輝 高亢 張辛欣;安卓系統(tǒng)安全隱患令人憂[N];國(guó)際商報(bào);2014年
6 本報(bào)記者 張苗苗;六安煙草:大力加強(qiáng)信息系統(tǒng)安全“免疫”[N];中國(guó)信息化周報(bào);2014年
7 向衍蓀(作者系中國(guó)職業(yè)安全健康協(xié)會(huì)原秘書長(zhǎng));安全評(píng)價(jià)要重視“系統(tǒng)安全”[N];中國(guó)安全生產(chǎn)報(bào);2005年
8 秦洋;省政府召開教育系統(tǒng)安全穩(wěn)定工作電視電話會(huì)[N];山西日?qǐng)?bào);2004年
9 劉權(quán)永;甘孜國(guó)稅五強(qiáng)化促信息系統(tǒng)安全[N];甘孜日?qǐng)?bào)(漢文);2009年
10 曹斌;企業(yè)系統(tǒng)安全的基本要素[N];網(wǎng)絡(luò)世界;2001年
相關(guān)博士學(xué)位論文 前7條
1 張兵;RFID系統(tǒng)安全體系架構(gòu)與關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2014年
2 方玲;企業(yè)信息系統(tǒng)安全技術(shù)選擇與配置優(yōu)化策略研究[D];東南大學(xué);2016年
3 余志偉;面向業(yè)務(wù)過程的信息系統(tǒng)安全需求識(shí)別方法及其關(guān)鍵技術(shù)研究[D];浙江大學(xué);2006年
4 陳辰;VANET系統(tǒng)安全的關(guān)鍵問題研究[D];復(fù)旦大學(xué);2011年
5 王欣;WEB應(yīng)用系統(tǒng)安全檢測(cè)關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年
6 羅景峰;基于可變模糊集的系統(tǒng)安全理論研究[D];東北大學(xué);2012年
7 高漢軍;虛擬計(jì)算環(huán)境下系統(tǒng)安全增強(qiáng)方法研究[D];武漢大學(xué);2012年
相關(guān)碩士學(xué)位論文 前10條
1 黃義夫;RFID系統(tǒng)安全檢測(cè)關(guān)鍵技術(shù)研究[D];電子科技大學(xué);2014年
2 安沛;企業(yè)OA系統(tǒng)安全機(jī)制的研究與應(yīng)用[D];西安工程大學(xué);2015年
3 楊琪;地鐵車站靜態(tài)導(dǎo)引標(biāo)識(shí)系統(tǒng)安全功效評(píng)價(jià)研究[D];北京交通大學(xué);2016年
4 顧漢珂;安全風(fēng)險(xiǎn)疊加評(píng)價(jià)模式研究[D];沈陽(yáng)航空航天大學(xué);2016年
5 李鳳強(qiáng);齊魯乙烯系統(tǒng)安全管理模式研究[D];大連理工大學(xué);2001年
6 張振遠(yuǎn);系統(tǒng)安全工程在系統(tǒng)開發(fā)階段的應(yīng)用研究[D];哈爾濱工業(yè)大學(xué);2007年
7 曹學(xué)民;城市通卡系統(tǒng)安全體系研究與設(shè)計(jì)[D];電子科技大學(xué);2005年
8 高婭玲;中國(guó)航天科工集團(tuán)公司網(wǎng)絡(luò)財(cái)務(wù)系統(tǒng)安全方案研究及實(shí)現(xiàn)[D];四川大學(xué);2003年
9 林忠澤;金融企業(yè)信息系統(tǒng)安全解決方案的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2009年
10 劉果生;保障網(wǎng)上電子報(bào)稅系統(tǒng)安全的PKI/CA體系的研究與實(shí)現(xiàn)[D];同濟(jì)大學(xué);2006年
本文編號(hào):2537707
本文鏈接:http://www.sikaile.net/kejilunwen/ruanjiangongchenglunwen/2537707.html