《可信移動計算平台的安全評估模型研究》是依託中國科學技術大學，由熊焰擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：可信移動計算平台的安全評估模型研究
- 項目類別：重大研究計畫
- 項目負責人：熊焰
- 依託單位：中國科學技術大學
- 批准號：90818007
- 申請代碼：F02
- 負責人職稱：教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：50（萬元）
中文摘要
移動自組網是一種新型的無基站、無中心無線移動計算平台。其特點是平台的自組性、拓撲的動態性、結點的平等性、控制的分布性、路由的多跳性以及安全的不可靠性。由於移動計算平台中結點的不可信性，傳統的安全機制和方法很難完全保證該移動計算平台的安全性和可靠性。本課題擬在可信平台模組TPM的安全體系結構基礎上研究可信移動計算平台中可信軟體的建模、驗證與評估技術，即基於B抽象理論方法的移動計算平台可信軟體建模技術；研究移動計算平台移動套用軟體可信性質度量技術與基於模型檢測的可信性質形式化驗證技術；採用模糊集合理論研究移動計算平台可信軟體的可信評估技術；研究基於可信移動計算平台的可信路由協定軟體以驗證可信移動計算平台中通信軟體的安全可靠性。本課題的目的就是在可信移動計算硬體平台的基礎上建立一個可信移動計算軟體平台以保證移動計算平台中各種移動套用軟體的安全性和可靠性，進一步推動國內可信移動計算的研究和發展。
