《基於虛擬可信平台的軟體可信性研究》是2017年5月1日武漢大學出版社出版的圖書，作者是郝瑞。
《基於虛擬可信平台的軟體可信性研究》是2017年5月1日武漢大學出版社出版的圖書，作者是郝瑞。內容簡介本文對基於虛擬可信平台軟體可信性度量模型進行了研究，並提出兩階段層次化虛擬可信系統度量模型—TSVTMM，基於該模型提...
《支持可信計算的虛擬平台研究》是依託上海交通大學，由梁阿磊擔任項目負責人的面上項目。項目摘要 基於虛擬機技術實現可信計算平台，具有可程式、可擴展、可調試等優點。在虛擬機中藉助二進制翻譯引擎和虛擬I/O模組，可以捕捉每條指令的執行...
《基於虛擬化技術的可信計算環境研究》是依託復旦大學，由臧斌宇擔任項目負責人的重大研究計畫。項目摘要 可信計算對國家各種關鍵套用系統中安全保障與可信問題具有重要意義。然而，當前基於TCG的信任鏈傳遞模型由於傳統作業系統的不可信性而受到...
《邏輯虛擬域中軟體執行的可信確保機制研究》是依託華中科技大學，由鄒德清擔任項目負責人的面上項目。項目摘要 以資源租用、套用託管為特徵的雲計算有望成為企業/機構套用信息化的主流模式。邏輯虛擬域是由雲計算環境中不同服務節點上的...
《面向可信雲服務的廣義虛擬可信計算平台關鍵技術研究》是依託北京大學，由沈晴霓擔任負責人的面上項目。項目摘要 如何利用可信計算技術和虛擬化技術，在開放網路環境中構建一種能夠為用戶透明地提供可.信服務的安全隔離運行環境，成為目前推動...
《可信平台模組虛擬化問題研究》是依託四川師範大學，由譚良擔任項目負責人的面上項目。項目摘要 可信雲計算的核心問題之一是TPM的虛擬化。本課題將對TPM虛擬化的相關問題展開研究，內容包括：（1）vTPM的體系結構；（2）滿足雲環境特徵的...
《基於測試的軟體可信性增長模型及其評估方法研究》是依託北京航空航天大學，由劉超擔任項目負責人的重大研究計畫。項目摘要 本課題旨在基於可信軟體測試基礎研究與成功的工程實踐基礎上，針對軟體可信性基礎研究中的關鍵問題，特別是基於測試的...
提出虛擬網路的可信性指標，構建可信虛擬網路模型，設計虛擬網路可信性度量和評估方法；為保障虛擬網路的可信性，分別針對可用性、安全性和可靠性的最佳化目標，提出相應的虛擬網路映射算法和實現技術；為提高虛擬網路的可信性，設計敏捷自適應...
《可信軟體構造理論與方法研究》是依託武漢大學，由何炎祥擔任項目負責人的重大研究計畫。項目摘要 由於軟體的運行環境越來越開放，規模不斷增大，行為日益複雜，使得軟體的可信性面臨著嚴峻的挑戰，如何構造可信軟體受到了工業界和學術界越來...
有了虛擬TPM的支持後，本項目用虛擬TPM的身份密鑰來標識虛擬網路主機，提出了一種雲平台虛擬可信區域網路構建機制，基於虛擬TPM協商出MAC密鑰，用於在後續通信過程中的完整性保護和身份驗證，防止VLAN環境被惡意主機攻擊。本項目提出的機制能將...
一方面，利用在伺服器領域取得重大突破的虛擬化安全技術，研究對移動平台關鍵數據和代碼的不同層次的安全監控、安全隔離、可控互動等技術；另一方面，結合移動端的安全硬體，在減小可信計算基的同時，為上層軟體提供安全支撐，並進一步擴展體系...
在項目執行過程中，我們從軟體可信需求知識框架、軟體可信性需求工程和軟體需求的不一致性處理等三個層面開展了深入系統的研究：提出並詮釋了基於環境的可信軟體的基本含義；構建了可信軟體需求概念框架和本體知識庫；提出並系統地構建了一種...
● 3.3 面向車聯網的可信網路套用軟體系統試驗環境與示範套用 ● 3.4 航天嵌入式軟體可信性保障集成環境和示範驗證與套用 ● 3.5 可信軟體理論、方法集成與綜合實驗平台 ●第4章 展望 ● 4.1 國記憶體在的不足和戰略需求 ● 4.2...
為此，本項目重點從構建可信虛擬域的可信擴展方法、面向敏感數據計算環境的可信性驗證協定設計與分析方法、可信虛擬機環境下的敏感數據的控制策略及主動防範機制這三個基礎科學問題與關鍵理論研究。針對當前網路環境的開放性和計算環境的不可控...
課題的成功實施，將為高可信CPS軟體開發打下更為堅實的理論基礎。結題摘要 信息物理系統（Cyber Physical Systems，簡稱CPS）作為當今世界信息技術制高點，已廣泛套用於各類安全攸關領域。如何保障CPS軟體可信性已成為CPS研究熱點之一。本項目...
《基於軟體缺陷預測的軟體可信性度量方法研究》是依託西安交通大學，由宋擒豹擔任項目負責人的重大研究計畫。中文摘要 隨著信息技術套用範圍的不斷擴大和套用層次的持續深入，相關軟體系統變得越來越複雜，使得本來就棘手的軟體質量問題雪上加霜...
司冠南，山東交通學院，主要從事網構軟體、車聯網、商務智慧型等方面的研究與教學。目錄 第1章 網構軟體可信性相關概念 1.1 網構軟體 1.2 可信計算 1.3 軟體可信性 第2章 網構軟體可信性研究現狀 2.1 網構軟體可信性保障 2.2 ...
可信網路的一般性架構主要包括可信安全管理系統、網關可信代理、網路可信代理和端點可信代理四部分組成，從而確保全全管理系統、安全產品、網路設備和端點用戶等四個安全環節的安全性與可信性，最終通過對用戶網路已有的安全資源的有效整合和管理...
該書系統化地介紹TPM虛擬化、可信虛擬平台及虛擬域（或終端）的證明。TPM虛擬化是可信雲環境的核心，本書詳細介紹可信虛擬平台具有瀑布特徵的信任鏈模型及理論、可信虛擬平台新的證書信任擴展方法、基於影子頁表+的軟體型vTPM密鑰保護方案、...
為了避免由於嵌入式軟體系統本身缺陷或系統中微小的錯誤而導致系統整體崩潰，嵌入式軟體系統的可信性得到了廣泛關注。本課題的目標是以定理證明為框架，結合模型檢測方法，針對嵌入式軟體自身特性，構建基於定理證明的可信嵌入式軟體設計過程中...
由於移動計算平台中結點的不可信性，傳統的安全機制和方法很難完全保證該移動計算平台的安全性和可靠性。本課題擬在可信平台模組TPM的安全體系結構基礎上研究可信移動計算平台中可信軟體的建模、驗證與評估技術，即基於B抽象理論方法的移動...
本項目以國家重大研究計畫項目可信軟體基礎研究為導向，以失信因子為基礎概念，運用複雜系統、Petri網以及軟體工程等相關理論，並結合實證，系統、深入地研究影響軟體可信性的因素及其作用機理。主要內容和意義是：（1）失信因子的識別與分析，...
