《軟體的可信計算環境的構造、建模和算法研究》是依託武漢大學，由王麗娜擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：軟體的可信計算環境的構造、建模和算法研究
- 項目類別：重大研究計畫
- 項目負責人：王麗娜
- 依託單位：武漢大學
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-01
- 批准號：90718006
- 支持經費：50（萬元）
- 申請代碼：F0205
項目摘要
在軟體網路化的背景下，構建可信的軟體網路環境就必須保證網路的接入行為是可控的、網路實體的信任程度是可驗證和度量的、網路的傳輸行為是可靠的以及軟體的互動行為是保密及真實的。為此，本項目重點展開面向軟體可信環境構造的可信連線擴展方法、網路傳輸行為可靠性以及可信協定的設計與證明方法三方面的基礎科學問題與關鍵理論研究。針對當前的網路軟體分別處於可信計算平台和非可信計算平台這一混合網路的現實，本項目研究網路
