999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

基于擬態防御機制的全艦計算環境安全架構設計

2018-03-29 09:03:10朱維軍樊永文班紹桓
數字技術與應用 2018年1期

朱維軍 樊永文 班紹桓

摘要:針對全艦計算環境(Total Ship Computing Environment,TSCE)體系結構的計算安全性問題,提出基于動態異構冗余的TSCE體系結構設計思想。首先,對TSCE的基礎設施和應用系統分別進行動態異構冗余(Dynamic Heterogeneous Redundancy,DHR)設計,獲得具有更佳抗攻擊性的擬態防御系統成份;然后,把上述兩大組成部分按照TSCE原有組織架構連接起來,即可獲得具有擬態防御能力的全艦計算環境系統架構。內嵌的擬態防御機制可望為新模型帶來更強的抗攻擊性與主動防御能力。

關鍵詞:動態;異構;冗余;擬態防御;全艦計算環境

中圖分類號:TP309.1 文獻標識碼:A 文章編號:1007-9416(2018)01-0203-03

1 引言

未來海戰模式將由“平臺中心戰”轉向“網絡中心戰”[1]。1998年,美國海軍水面戰中心首次提出“全艦計算環境”的概念[2]。2012年,“朱姆沃爾特”級驅逐艦DDG-1000交付美海軍使用,這是第一艘全面實施TSCE的軍艦[3]。2017年,“福特”號航母交付美海軍使用,這是第一艘采用TSCE的航空母艦[4]。

全艦計算環境以網絡為中心,集成作戰系統、預警系統、動力系統、武器系統與指揮系統,對上述系統的計算單元進行了統一和規范,并按照標準化、綜合化、一體化、自動化的建設思路,解決各作戰子系統集成時的煙囪問題,為全艦電子信息裝備提供通用、開放、共享的計算環境,從而形成統一的網絡中心戰平臺,促進跨平臺、跨領域協同作戰。由于TSCE具有如上所述優勢,美軍已表示其下一代艦艇的開發均將使用TSCE[1,3,5]。

2013年4月,美海軍模擬黑客攻擊發現“自由”號瀕海戰斗艦網絡系統存在信息安全弱點[6]。2014年10月,美海軍海上系統司令部承認美海軍潛艇的控制系統存在網絡安全漏洞[6]。TSCE裝備是否存在網絡安全隱患?文獻[6]對此進行分析,認為在網絡層面、主機層面、應用層面和數據層面均存在安全問題。并提出總體結構防御模型,通過采取網絡準入、訪問控制、安全審計、終端防護、服務器加固等措施,保護TSCE安全[6]。然而,上述措施并不能從根本上解決問題。這是本文研究的課題。

2 背景知識

2.1 全艦計算環境

TSCE由上層的作戰應用軟件包和下層的TSCE基礎設施(TSCEi)兩部分組成,其組成結構參見圖1。TSCE對全艦裝備的控制拓撲結構參見圖2。更多詳情,參見文獻[2]和文獻[6]。篇幅所限,這里不再詳述。

2.2 動態異構冗余結構

擬態防御是近年來最新出現的一種網絡安全技術,由鄔江興院士提出[7]。該技術針對未知安全漏洞、軟硬件后門等問題的本源,采用動態異構冗余的系統設計思想與網絡空間主動防御理念,導致已有的掃描探測、漏洞利用、后門設置、病毒注入、木馬植入乃至APT等攻擊手段和方法難以發揮預期的作用和效力[7]。

DHR結構是一種典型的擬態防御技術,圖3給出了它的結構示意圖。對于該結構的詳細介紹,參見文獻[7]。篇幅所限,這里不再詳述。

3 基于DHR結構的TSCE系統架構

本節使用DHR思想設計TSCE系統架構,以圖提升TSCE的抗攻擊能力。我們的核心思路在于:對底層的TSCEi硬件和上層的應用系統軟件包均引入動態、異構、冗余機制。

新模型的關鍵原理在于:(1)無論是軟件執行體還是硬件執行體,均采用多份具有相同功能不同結構的冗余執行體實施計算;(2)使用表決器對不同執行體的計算結果進行表決,對于與多數執行體計算結果不同的執行體,可認為存在攻擊在該執行體上發揮效力;(3)對于被有效攻擊的執行體實施清除操作,該執行體退出計算,從構件池中隨機選取一個構件作為新執行體加入計算。

基于DHR結構的TSCE系統運行原理可由圖4表示。

4 計算安全性分析

鄔江興院士指出,DHR構造的抗攻擊能力在體系上源自異構、冗余,在不確定機制上受惠于動態、隨機、多樣性,在攻擊難度上得益于去協同化環境造就的非配合條件下的協同化攻擊困境,在實現方法上來源于功能等價條件下的多維動態重構機制的應用[7]。我們使用上述機制重建TSCE系統結構,把DHR結構基因層面天然內嵌的抗攻擊性注入TSCE系統,變TSCE被動防御措施[2,6]為主動防御,以便提升TSCE計算安全性。

新模型在系統架構層面提升TSCE安全性;與之對照,我們的前期研究則在系統設計的早期使用形式化的途徑驗證TSCE系統的計算安全性[8],這樣的形式化方法若發現邏輯錯誤,可幫助工程人員早期修改、避免設計錯誤。可見,本文方法與文獻[8]中方法可配合使用以瞄準提升TSCE安全性。

文獻[2]設計了一種TSCE安全結構框架,文獻[6]給出TSCE安全防護的一些具體措施。這些工作都是有益的,然而并不能改變被動防御的態勢。與之相比,新設計的工程模型內嵌DHR主動防御[9]機制,在抗攻擊性方面可望具有比較優勢。

5 結語

作為未來海戰“網絡中心戰”的核心平臺,TSCE自身的安全與抗攻擊性是它能夠正常發揮功能的前提,這是研究TSCE安全性問題的意義。本工作提出利用擬態防御技術設計全艦計算環境的思想,初步給出一種基于動態異構冗余機制的TSCE系統架構設計。這是本文的主要貢獻。

6 致謝

感謝文后參考文獻的作者。本文作者正是在閱讀這些公開發表/發布文獻的基礎上,給出我們的個人思考與個人觀點。

參考文獻

[1]賈華杰,鮮明,陳永光.網絡中心戰及其新技術[J].國防科技,2011,32(4):44-49.

[2]金剛.全艦計算環境安全體系結構研究[J].艦船電子工程,2016,36(11):5-7,62.

[3]張偉.美國海軍全艦計算環境發展及關鍵技術[J].船舶科學技術,2016,38,(7):148-152.

[4]石劍.開放體系架構在海軍信息系統應用模式研究[J].艦船電子工程,2016,36(9):5-8.

[5]郭隆華.“朱姆沃爾特”級驅逐艦全艦計算環境研究取得進展[J].船舶科學技術,2008, (5):164-164.

[6]威努特工控安全,基于全艦計算環境(TSCE)架構的工控安全防護淺析[EB/OL], http://mp.weixin.qq.com/s/w9s4ETmXSYJ-WeIWvASbew,2018年1月16日.

[7]鄔江興.網絡空間擬態防御研究[J],信息安全學報,2016,1(4):1-10.

[8]朱維軍,樊永文,聶凱.全艦計算環境形式化驗證算法[J].數字技術與應用,2017,2017(6):140-141,143.

[9]鄔江興.網絡空間擬態防御導論[M].北京:科學出版社,2017.

主站蜘蛛池模板: 欧美97色| 成人午夜天| 日韩精品毛片| 新SSS无码手机在线观看| 亚洲欧美日韩视频一区| 一级片一区| 18禁黄无遮挡网站| 国产人人射| 亚洲精品中文字幕无乱码| 成人夜夜嗨| 国产精品女同一区三区五区| 国产在线精品网址你懂的| 尤物在线观看乱码| 国产网友愉拍精品| 国产无码高清视频不卡| 亚洲av无码人妻| 99爱视频精品免视看| 97成人在线视频| 无码区日韩专区免费系列| 香蕉综合在线视频91| 亚洲av无码牛牛影视在线二区| 日本精品αv中文字幕| 欧美色香蕉| 91在线精品麻豆欧美在线| 国产欧美日韩专区发布| 激情综合图区| 亚洲国产欧美目韩成人综合| 亚洲黄色视频在线观看一区| 91成人在线免费视频| 日韩大片免费观看视频播放| 国产三区二区| 欧美精品啪啪| 欧美激情视频在线观看一区| 成人在线不卡视频| 人妻夜夜爽天天爽| 干中文字幕| 美女裸体18禁网站| 国产va免费精品| AV无码一区二区三区四区| 久久99精品国产麻豆宅宅| 污网站免费在线观看| 97se亚洲综合不卡| 精品五夜婷香蕉国产线看观看| 亚洲中文字幕97久久精品少妇| www.youjizz.com久久| 黑人巨大精品欧美一区二区区| 国产在线自乱拍播放| 久久综合国产乱子免费| 国产精品第一区| 亚洲成人播放| 动漫精品啪啪一区二区三区| 巨熟乳波霸若妻中文观看免费| 亚洲丝袜第一页| 亚洲欧美一区二区三区图片| 精品国产自在在线在线观看| 免费看久久精品99| 91口爆吞精国产对白第三集 | 99一级毛片| 老熟妇喷水一区二区三区| 亚洲色欲色欲www在线观看| 欧美性爱精品一区二区三区| 成人蜜桃网| 久久77777| 日韩亚洲综合在线| 国产自在线播放| 日韩免费中文字幕| 蝴蝶伊人久久中文娱乐网| 国产精品大白天新婚身材| 国产在线97| 女人爽到高潮免费视频大全| 在线观看免费国产| 国产中文一区a级毛片视频| 国产精品美乳| 国产迷奸在线看| 亚洲第一页在线观看| 制服丝袜在线视频香蕉| 久久国产精品波多野结衣| 夜夜高潮夜夜爽国产伦精品| 亚洲精品人成网线在线 | 国产一区二区三区精品久久呦| 99久久性生片| 2020最新国产精品视频|