嵌入式系統安全保障與形式化檢測的研究

《嵌入式系統安全保障與形式化檢測的研究》是依託清華大學，由羅貴明擔任項目負責人的面上項目。

基本介紹

• 中文名：嵌入式系統安全保障與形式化檢測的研究
• 依託單位：清華大學
• 項目負責人：羅貴明
• 項目類別：面上項目

項目摘要

隨著嵌入式系統設計複雜程度的提高，如何保障嵌入式系統安全成為計算機領域和工程界所關注的重要問題。本項目以嵌入式系統安全保障為中心，研究嵌入式系統安全事件建模與最佳化計算，利用大數據方法和自適應技術給出安全事件的數據建模、濾波和預判；分析嵌入式設備安全事件之間的關聯與因果關係，研究系統運行階段其設備可能產生的故障和安全問題的原因，對故障進行定位和預報，為嵌入系統的安全運行提供保障；研究安全風險評估算法，利用攻擊圖技術和漏洞庫信息建立嵌入式系統安全風險評估系統，提高系統應對各種突發攻擊事件的能力；研究嵌入式系統形式化建模與自動檢測技術，設計和研發模組建模與模型檢測一體化自動檢測工具，在設計階段檢查和保障嵌入式系統的安全性和可靠性；以列車網卡MVB為研究案例，用自動機對MVB和列車網路通信協定進行形式化建模，對該嵌入式系統和協定進行仿真和檢測，自動生成和最佳化VHDL代碼，完成可信列車網卡的設計

結題摘要

摘要本項目研究嵌入式系統安全事件建模與最佳化計算，利用大數據方法和自適應技術給出安全事件的數據建模、濾波和預判；分析嵌入式設備安全事件之間的關聯與因果關係，並利用大數據技術分析漏洞之間相關性；研究系統運行階段其設備可能產生的故障和安全問題的原因，對故障進行定位和預報；研究網路安全建模和網路可靠性路由算法，網路的故障檢測理論，提出高效的檢測方法；研究語義計算和語義推理，通過圖像數據語義分析故障和缺陷；研究嵌入式系統形式化建模與自動檢測技術，設計和研發模組建模與模型檢測一體化自動檢測工具。用自動機對MVB和列車網路通信協定進行形式化建模，對該嵌入式系統和協定進行仿真和檢測，自動生成VHDL代碼，利用自動機設計列車網卡。