《可信平台模組虛擬化與證明》是2018年科學出版社出版的圖書,作者是譚良。
基本介紹
- 中文名:可信平台模組虛擬化與證明
- 作者:譚良
- 出版社:科學出版社
- ISBN:9787030557698
- 出版時間:2018-08
《可信平台模組虛擬化與證明》是2018年科學出版社出版的圖書,作者是譚良。
《可信平台模組虛擬化與證明》是2018年科學出版社出版的圖書,作者是譚良。內容簡介該書系統化地介紹TPM虛擬化、可信虛擬平台及虛擬域(或終端)的證明。TPM虛擬化是可信雲環境的核心,本書詳細介紹可信虛擬平台具有瀑布特徵的...
《可信平台模組虛擬化問題研究》是依託四川師範大學,由譚良擔任項目負責人的面上項目。項目摘要 可信雲計算的核心問題之一是TPM的虛擬化。本課題將對TPM虛擬化的相關問題展開研究,內容包括:(1)vTPM的體系結構;(2)滿足雲環境特徵的...
在這種機制里,用可信平台模組TPM身份密鑰和eID來標識主機、用戶身份;源主機只需與目標主機在套用層執行基於簽名的身份驗證和MAC密鑰協商,基於該密鑰產生廣播同態MAC,作為身份證明信息,不用與每箇中間節點進行密鑰協商、為每箇中間節點生成...
4.2 虛擬化可信平台模組91 4.2.1 可信平台模組的虛擬化91 4.2.2 虛擬化可信平台模組的安全保護機制97 第5章 面向雲計算的可信軟體環境109 5.1 雲計算對可信軟體棧的需求109 5.2 雲計算環境下的可信軟體棧110...
9.3.3虛擬化可信平台模組的安全增強226 9.4可信雲平台236 9.4.1可信雲伺服器的靜態度量236 9.4.2可信雲伺服器的動態度量248 9.4.3面向雲平台的遠程證明270 9.4.4基於BMC的可信雲伺服器安全管控272 9.5本章小結278 習題278...
設計和實現了嵌入式可信密碼模組及功能,加強了客戶端(如嵌入式終端)的系統安全;(2)在基於數字簽名的零知識證明協定中引入TCM,實現Web服務回響方對請求方的匿名認證,提出了一種可信數字著作權管理模型;(3)以雲計算的IAAS為平台...
將信任擴展至敏感用戶數據虛擬機環境,從而建立一條完整的信任鏈,確保敏感用戶數據的虛擬機環境的可信;針對敏感數據計算平台安全性驗證的高效率要求,提出UC模型下可證安全的無需可信第三方的遠程證明方案,增強了敏感用戶數據分發的可控性...
本課題擬在可信平台模組TPM的安全體系結構基礎上提出一個無需TTP的可信非抵賴協定,並研究該協定及軟體的形式化建模、證明、評估、檢測與驗證技術以保證其可信性即研究基於Pi演算的可信公平非抵賴協定形式化建模和驗證技術;研究基於高階...
[3] 國家自然科學基金項目(面上60970113):TCG框架下的證明問題研究,主研 [4] 國家自然科學基金面上項目(61373162):可信平台模組虛擬化問題研究,主研 [5] 四川省教育廳重點項目(10ZA009):基於湧現學習特徵的智慧型學習網路研究,...
GB 的記憶體,配備12 個VLP DDR-3 記憶體DIMM 1 個CIOv 插槽(標準PCIe 子卡)和1 個CFFh 插槽(高速PCIe 子卡) 部分型號配備集成虛擬光纖適配器 帶有雙千兆乙太網連線埠的Broadcom 5709S 板載NIC,配備TOE 可信平台模組1.2...