本書系統(tǒng)化地介紹TPM虛擬化、可信虛擬平臺及虛擬域(或終端)的證明。TPM虛擬化是可信云環(huán)境的核心,本書詳細介紹可信虛擬平臺具有瀑布特征的信任鏈模型及理論、可信虛擬平臺新的證書信任擴展方法、基于影子頁表+的軟件型vTPM密鑰保護方案、可信虛擬平臺vTPM動態(tài)遷移方法,從理論和實踐兩方面系統(tǒng)回答TPM虛擬化所涉及的所有問題。虛擬平臺及虛擬域(或終端)的可信證明是云計算進一步延展和廣泛應用的基礎,詳細介紹可信虛擬平臺的遠程證明方案、可信終端的遠程證明方案、一種優(yōu)化的直接匿名證言協(xié)議方案、可信終端動態(tài)運行環(huán)境的可信證據收集機制、直接匿名證言協(xié)議的性能估算新方法、可信終端動態(tài)運行環(huán)境的可信證據收集代理、一種新的可信終端運行環(huán)境遠程證明方案,從理論和實踐兩方面給出虛擬平臺及虛擬域(或終端)的可信證明所涉及的各種問題,具有一定的理論和實踐意義。