可信编译构造理论与关键技术
《可信编译构造理论与关键技术》,作者:何炎祥，吴伟著 出版社:科学出版社 ISBN:9787030364203。本书介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。
可信
可信软件测度理论与方法
《可信软件测度理论与方法》,作者:于本海著 出版社:科学出版社 ISBN:9787030409379。本书从软件开发的工程过程和管理过程人手，定义了可信软件过程，建立基于可信原则的可信软件过程改进模型；为正确评价可信软件水平，分别构建基于全生命周期过程实体、过程行为、过程产品、进度和成本可信的软件过程可信属性和评价指标体系；基于软件保密安全性、生存性、容错性、可靠性和防危性的软件
网络信息的模式识别与可信测度
《网络信息的模式识别与可信测度》,作者:李保珍 著 出版社:科学出版社 ISBN:9787030591333。本书从用户生成内容的新型网络环境入手，侧重介绍网络信息的模式识别及可信测度的新技术、新方法。与传统网络环境相比，基于用户生成内容的网络信息具有多源异构、异质关联及层次嵌套等特点。本书从以下方面展开介绍:网络信息的主题挖掘及关联挖掘；网络信息的概率性可信测度及语义性可信测度。
可信平台模块虚拟化与证明
《可信平台模块虚拟化与证明》,作者:谭良 著 出版社:科学出版社 ISBN:9787030557698。本书系统化地介绍TPM虚拟化、可信虚拟平台及虚拟域（或终端）的证明。TPM虚拟化是可信云环境的核心，本书详细介绍可信虚拟平台具有瀑布特征的信任链模型及理论、可信虚拟平台新的证书信任扩展方法、基于影子页表+的软件型vTPM密钥保护方案、可信虚拟平台vTPM动态迁移方法，从理论和实践
