《面向威脅的軟體可信性分析模型》是依託武漢大學，由傅建明擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：面向威脅的軟體可信性分析模型
- 項目類別：重大研究計畫
- 項目負責人：傅建明
- 依託單位：武漢大學
- 負責人職稱：教授
- 批准號：90718005
- 研究期限：2008-01-01 至 2010-12-01
- 申請代碼：F0206
- 支持經費：50（萬元）
項目摘要
軟體內部存在缺陷、錯誤、故障、失效，軟體外部存在病毒、木馬、蠕蟲等惡意代碼的攻擊。軟體的可信性不僅依賴於軟體本身，也依賴於軟體所在的環境。不可信環境會污染可信軟體，改變可信軟體的行為，給可信軟體帶來嚴重的威脅和安全風險。目前缺少對軟體可信性分析和評估的有效理論和方法。.本項目研究軟體的數據格式、作業系統進程管理、惡意軟體，逐步建立軟體的威脅模型，並首次提出軟體的結構完整性模型；引入複雜網路理論的思
