《支持可信計算的虛擬平台研究》是依託上海交通大學，由梁阿磊擔任項目負責人的面上項目。
基本介紹
- 中文名：支持可信計算的虛擬平台研究
- 項目類別：面上項目
- 項目負責人：梁阿磊
- 依託單位：上海交通大學
- 批准號：60773093
- 申請代碼：F0204
- 負責人職稱：副教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：29（萬元）
項目摘要
基於虛擬機技術實現可信計算平台，具有可程式、可擴展、可調試等優點。在虛擬機中藉助二進制翻譯引擎和虛擬I/O模組，可以捕捉每條指令的執行和I/O操作的每個操作步驟，所以理論上它可以實現最微觀的安全機制。可信計算包含自身容錯和對外防禦等兩方面。本課題的主要研究目標是基於自主開發的CrossBit虛擬平台原型，實現支持TPM可信認證結構和基於訪問控制的入侵檢測機制，使之成為一個兼備對內實現隔離、對外開放的可信計算平台。課題研究目標包括在虛擬機（VM）及其管理模組（VMM）中插入指令和資源訪問採樣點、訪問控制、策略進程、TPM訪問接口等組件，實現監控者和被監控之間執行環境的隔離，並通過認證機制保證同一執行環境內各層次之間的可信操作。此外，本課題還擬解決可信原語抽象、系統兼容、虛擬性能等研究課題。本課題的研究成果有可能會為新一代的、網路環境下先進計算模式，提供新的理論和方法。
