《工業控制系統安全脆弱性分析與建模的理論與套用研究》是依託浙江大學,由褚健擔任項目負責人的專項基金項目。
基本介紹
- 中文名:工業控制系統安全脆弱性分析與建模的理論與套用研究
- 依託單位:浙江大學
- 項目負責人:褚健
- 項目類別:專項基金項目
《工業控制系統安全脆弱性分析與建模的理論與套用研究》是依託浙江大學,由褚健擔任項目負責人的專項基金項目。
《工業控制系統安全脆弱性分析與建模的理論與套用研究》是依託浙江大學,由褚健擔任項目負責人的專項基金項目。項目摘要2010年發生的“震網(Stuxnet)“成功摧毀伊朗核設施,標誌著物理世界的戰略基礎設施控制系統面臨現實的...
《工業控制系統安全等級保護方案與套用》是2015年3月國防工業出版社出版的圖書,作者是蔡皖東。內容簡介 本書依據國家信息系統安全等級保護標準,並結合工業控制系統的基本特點,提出了工業控制系統安全等級保護方案,包括工業控制系統安全等級...
通過本項目的研究,可進一步豐富和完善NCS安全性理論與技術,並推動NCS理論的實際工程套用。結題摘要 隨著計算機技術、網路技術和控制技術的迅速發展,網路化控制系統(NCS)已逐漸成為工業自動化系統的發展趨勢,以實現分散式測量、控制與管理...
4.3風險分析 4.4複雜網路理論 4.5多個體的建模與仿真 4.6動態控制系統理論 參考文獻 第5章脆弱性評估的概念框架 5.1概要 5.2逐步評估方法的框架概要 5.2.1事前定義意外事件的評估方法框架 5.2.2包含情景生成的評估方法框架 ...
郭世澤瞄準網路系統安全分析這一網路空間安全學科的重要方向,圍繞未知脆弱性快速發現、脆弱性整體性分析、脆弱性風險評估體系構建三個核心關鍵問題開展研究,取得了一系列系統性原創成果。一是發明了軟體脆弱性深度激發技術並構建相應的自動化...
網路化控制系統,是包括物聯網、智慧型電網、感測器網路等大規模網路套用的本質抽象。隨著網路化控制系統向大規模、分散式、智慧型化迅速發展,其面臨安全威脅日益嚴峻。本項目以建立網路化控制系統安全基礎理論與關鍵技術框架為目標:1、分析了多...
本書以信息系統的安全風險評估與控制、安全防禦策略選取與實施等為研究主線,採用系統論和控制論的基本思想,綜合套用博弈理論,從攻防對抗的角度對信息系統安全進行分析建模,重點研究了基於信息攻防博弈的安全威脅評估、基於博弈模型和風險...
另外,本書還介紹了多模型方法在飛機容錯控制、飛彈飛行控制方面的套用等內容。全書內容廣泛、系統,匯集了作者多年的研究成果和該領域的最新成果。本書可供從事非線性系統建模與控制理論和套用研究的科技人員閱讀參考,也可作為高等學校非...
針對網路化控制系統在信息攻擊下的脆弱性量化問題,提出了針對系統信息層的協同重放攻擊模型、針對系統物理層的代碼攻擊模型、以及針對系統套用層的數據注入攻擊模型等多種隱蔽攻擊模型。針對攻擊約束下的網路化控制系統安全極限性能刻畫的問題...
再次,以鋼球磨煤機制粉系統為典型實例,設計和開發智慧型解耦控制仿真實驗平台,並在實驗平台上進行所提智慧型解耦控制方法的仿真驗證實驗;最後,設計和開發智慧型解耦控制系統的軟硬體平台和智慧型解耦控制軟體,並將所開發的智慧型解耦控制系統套用...
《複雜系統多Agent建模與控制的理論及套用》是2011年電子工業出版社出版的圖書,作者是倪建軍。本書從理論、方法和實證三個方面系統研究了基於多Agent的複雜系統建模與控制問題。內容簡介 《複雜系統多Agent建模與控制的理論及套用》採用從...
(2)針對工業控制系統在應對震網蠕蟲這一類攻擊方面的缺陷,提出了一種輕量級的數據驗證機制,通過對控制數據進行完整性和來源的驗證,從而避免信息空間的威脅以惡意代碼的形式進入控制器並危及物理設施的安全。該機制可套用於控制程式更新...
管理學、控制理論以及各種最佳化思想,並結合供應鏈管理、城市物流管理、預警與應急管理的最新理論、方法和結論,從政府行政管理的巨觀層面和企業供應鏈管理的微觀層面,對城市物流系統的運作模式進行分析,建立基於脆弱性分析的城市物流系統安全...
郭雷建立了多源干擾系統複合精細控制等理論方法,突破了干擾對抗環境下飛行器複合干擾濾波和自主重構控制等共性關鍵技術,為中國航空航天等領域多個重大工程套用提供了理論和技術支撐,取得了從基礎理論、關鍵技術、軟硬體研製到工程套用的全鏈條...
《電力CPS的建模、分析與控制研究》是依託浙江大學,由文福拴擔任項目負責人的面上項目。項目摘要 將電力系統與信息系統深度融合是實現智慧型電網的關鍵。本項目將基於信息物理融合系統(CPS)的理論與技術, 提出引入電力CPS作為智慧型電網的核心...
第 12 章 從 Ladder 程式中自動提取時間自動機用於基於模型的控制系統分析 387 12.1 引言 387 12.2 背景 389 12.3 相關工作 393 12.4 從 Ladder 程式和 ISA5.2 圖到時間自動機 395 12.5 案例研究 401 12.6 下一步工作...