《面向軍用可信計算環境的構造及評測試驗驗證研究》是依託武漢大學，由張煥國擔任項目負責人的重大研究計畫。
基本介紹
- 項目名稱：面向軍用可信計算環境的構造及評測試驗驗證研究
- 批准號：91018008
- 項目類別：重大研究計畫
- 申請代碼：F0203
- 項目負責人：張煥國
- 負責人職稱：教授
- 依託單位：武漢大學
- 研究期限：2011-01-01 至 2011-12-31
- 支持經費：50（萬元）
項目摘要
目前可信軟體已經成為擔阿嚷計算機領域的新潮流，可信計算環境為軟體的可信運行提供了重要保障，對構建安全、可靠的軍用軟體系統有著決定性作用。然而，目前尚沒有針對軍用可信計算環境構造和評測的理論和驗證系統。.本課題煮牛將開展面向軍用可信計算煉永您環境的構造及評測試驗驗證研究，提出面拒付驗向軍用可信計算環境的構造方法，包括環境可信性綜合判定方法，基於記憶體虛擬化的雙重多維隔離保護方法等；提出面向軍用可信計算平台測評的形式化分析方法，包括軍用可信計算環境的嵌入式程式的安全性分化，軍用可信計算環境模組的API安全共性模型等；提出軍用可信計算環境的安全性評測方法，包括基於謂詞抽象技術的可信環境信任度量體系測試用例約簡生成技術等。.本課漏阿罪挨題的實施在軍用可信計算環境構造、測評理論與關鍵技術方面取得一些突破，並完成全匪牛驗證性實驗。使我國在此一領域處於國歸刪槓束際領先地位，推動整體信息安全建設，並為下一階段的集成研究奠定理論與實踐基礎。
