《机密计算：原理与技术》内容简介与阅读建议

获取这本书 暂无已核验电子书资源
下载
作者
姚颉文
分类
科技技术
出版年份
2025
出版社
机械工业出版社
页数
312 页
语言
中文
机密计算TEE安全模型计算机类

《机密计算：原理与技术》内容简介

本书系统介绍了机密计算的概念，总结了各类主流TEE硬件通用设计，帮助读者理解TEE硬件的工作原理。本书围绕安全模型、生命周期、证明模型、攻击方法和防范策略，系统介绍了TEE的设计原则和使用方法，并以业界常用的x86、ARM以及RISC-V架构提供的TEE为例，分析了硬件TEE的实现方法，帮助读者理解不同实现的利弊。全书分为三个部分，首先介绍机密计算的基础知识，包括隐私计算的概述和机密计算的定义、分类等;第二部分介绍机密计算中的TEE，主要内容包括机密计算模型、TEE的生命周期、TEE的证明模型、TEE的可选功能、机密计算的软件开发、TEE的攻击与防范;第三部分介绍机密计算中的TEE-IO，主要内容包括TEE-IO模型、TEE-IO的生命周期、TEE-IO的证明模型、TEE-IO机密计算的软件开发、TEE-IO的攻击和防范。本书体系清晰，内容先进，适合从事机密计算相关研究和技术开发工作的人员阅读，也适合作为高校学生的拓展读物。

《机密计算：原理与技术》书籍信息摘要

《机密计算：原理与技术》内容简介与阅读建议，作者 姚颉文，科技技术，2025年。获取前建议核对作者、出版社、年份、ISBN、版本和正版渠道。相关主题：机密计算、TEE、安全模型、计算机类。

《机密计算：原理与技术》适合哪些读者？

适合希望系统学习技术概念、实践方法、工具使用和行业知识的读者。

查看 姚颉文 的作品顺序 浏览科技技术书籍 查看“机密计算”相关书籍 读完这本读什么 查看书籍排行榜

获取建议

《机密计算：原理与技术》怎么获取更合适？

优先确认版本和阅读目的；下载区只展示已核验的公版、授权、开放许可或官方试读资源。

下载

暂无已核验电子书资源；本站不展示未授权完整文件。

下载

版本

优先选择作者、译者、出版社、出版年份和 ISBN 信息明确的版本；经典作品可优先选择校注、导读或权威出版社版本。

目录

  1. 推荐序一
  2. 推荐序二
  3. 推荐序三
  4. 前　言
  5. 第一部分　机密计算基础
  6. 第1章　隐私计算概述2
  7. 1.1　隐私计算的目标2
  8. 1.2　隐私计算技术3
展开全部（共 177 章节）
  1. 1.2.1　同态加密3
  2. 1.2.2　安全多方计算5
  3. 1.2.3　零知识证明9
  4. 1.2.4　差分隐私11
  5. 1.3　隐私计算的应用12
  6. 第2章　机密计算概述15
  7. 2.1　机密计算的概念15
  8. 2.2　机密计算中硬件TEE方案的分类19
  9. 2.3　机密计算的软件实现21
  10. 2.4　机密计算的应用22
  11. 第二部分　机密计算中的TEE
  12. 第3章　机密计算模型24
  13. 3.1　机密计算安全模型24
  14. 3.1.1　机密计算的通用架构模型25
  15. 3.1.2　关于TEE的权限问题27
  16. 3.1.3　关于TEE-TCB的范围问题29
  17. 3.1.4　关于RoT的问题32
  18. 3.2　机密计算的威胁模型33
  19. 3.2.1　需要考虑的威胁33
  20. 3.2.2　不需要考虑的威胁35
  21. 3.2.3　侧信道攻击与防范35
  22. 3.3　机密计算TEE实例的威胁模型35
  23. 3.3.1　Intel SGX的威胁模型35
  24. 3.3.2　Intel TDX的威胁模型38
  25. 3.3.3　AMD SEV的威胁模型42
  26. 3.3.4　ARM RME44
  27. 3.3.5　RISC-V CoVE47
  28. 第4章　TEE的生命周期51
  29. 4.1　TEE的内存布局51
  30. 4.2　TEE的启动和卸载53
  31. 4.3　机密计算TEE实例的生命周期58
  32. 4.3.1　Intel SGX的生命周期59
  33. 4.3.2　Intel TDX的生命周期61
  34. 4.3.3　AMD SEV的生命周期64
  35. 4.3.4　ARM RME的生命周期67
  36. 4.3.5　RISC-V CoVE的生命周期68
  37. 第5章　TEE的证明模型70
  38. 5.1　证明在生活中的运用70
  39. 5.2　证明过程的通用模型72
  40. 5.2.1　证据的生成和传递74
  41. 5.2.2　验证86
  42. 5.2.3　证明结果的传递92
  43. 5.3　其他议题93
  44. 5.3.1　运行时环境的非度量方案93
  45. 5.3.2　基于远程证明的安全通信协议95
  46. 5.4　机密计算TEE证明实例97
  47. 5.4.1　Intel SGX的TEE证明97
  48. 5.4.2　Intel TDX的TEE证明101
  49. 5.4.3　AMD SEV的TEE证明103
  50. 5.4.4　ARM RME的TEE证明106
  51. 5.4.5　RISC-V CoVE的TEE证明107
  52. 第6章　TEE的可选功能109
  53. 6.1　封装109
  54. 6.1.1　TPM密钥封装和DICE密钥封装111
  55. 6.1.2　TEE密钥封装112
  56. 6.2　嵌套114
  57. 6.2.1　Intel TDX的TD分区116
  58. 6.2.2　AMD SEV虚拟机特权等级117
  59. 6.3　vTPM117
  60. 6.3.1　基于TEE的vTPM118
  61. 6.3.2　基于TEE虚拟机嵌套的vTPM121
  62. 6.4　实时迁移122
  63. 6.4.1　实时迁移概述122
  64. 6.4.2　Intel TDX虚拟机迁移127
  65. 6.4.3　AMD SEV虚拟机迁移127
  66. 6.5　运行时更新128
  67. 第7章　机密计算的软件开发130
  68. 7.1　TEE软件的应用场景130
  69. 7.2　机密虚拟机中的软件133
  70. 7.2.1　虚拟机管理器133
  71. 7.2.2　虚拟固件133
  72. 7.2.3　客户机操作系统134
  73. 7.2.4　L1-VMM135
  74. 7.2.5　TSM136
  75. 7.3　安全飞地的软件支持137
  76. 7.3.1　库操作系统137
  77. 7.3.2　Enclave软件栈137
  78. 7.4　TEE远程证明相关软件140
  79. 7.4.1　vTPM140
  80. 7.4.2　证明和验证服务的软件143
  81. 7.4.3　策略引擎的相关软件146
  82. 7.5　TEE安全通信147
  83. 7.6　TEE数据安全148
  84. 7.6.1　密钥代理分发服务148
  85. 7.6.2　镜像管理代理148
  86. 第8章　TEE的攻击与防范150
  87. 8.1　攻击方法150
  88. 8.1.1　攻击软件150
  89. 8.1.2　攻击密码算法和协议150
  90. 8.1.3　侧信道与故障注入攻击156
  91. 8.1.4　简单物理攻击177
  92. 8.2　防护原则178
  93. 8.2.1　安全软件设计178
  94. 8.2.2　安全密码应用180
  95. 8.2.3　侧信道与故障注入保护183
  96. 8.2.4　简单物理攻击保护189
  97. 8.3　针对TEE特有的攻击和保护189
  98. 8.3.1　针对SGX的攻击和保护189
  99. 8.3.2　针对TDX的攻击和保护190
  100. 8.3.3　针对SEV的攻击和保护192
  101. 第三部分　机密计算中的TEE-IO
  102. 第9章　机密计算TEE-IO模型194
  103. 9.1　机密计算TEE-IO安全模型194
  104. 9.1.1　通用机密计算TEE-IO安全模型196
  105. 9.1.2　TEE-IO中的模块198
  106. 9.1.3　TEE-IO中的通信协议199
  107. 9.1.4　TEE-IO中的资源分类204
  108. 9.1.5　TEE-IO中的密钥208
  109. 9.2　机密计算TEE-IO威胁模型209
  110. 9.2.1　需考虑的威胁209
  111. 9.2.2　设备端的安全需求213
  112. 9.2.3　主机端的安全需求215
  113. 9.3　机密计算TEE-IO主机端实例216
  114. 9.3.1　Intel TDX Connect216
  115. 9.3.2　AMD SEV-TIO218
  116. 9.3.3　ARM RME-DA219
  117. 9.3.4　RISC-V CoVE-IO220
  118. 9.4　机密计算TEE-IO设备端实例221
  119. 第10章　TEE-IO的生命周期224
  120. 10.1　TEE-IO的生命周期概述224
  121. 10.1.1　系统和设备初始化224
  122. 10.1.2　SPDM安全会话建立225
  123. 10.1.3　IDE安全链路建立225
  124. 10.1.4　TDI锁定和分配227
  125. 10.1.5　TDI接受和运行227
  126. 10.1.6　IDE密钥更新229
  127. 10.1.7　SPDM密钥更新229
  128. 10.1.8　TDI移除230
  129. 10.1.9　IDE安全链路停止230
  130. 10.1.10　SPDM安全会话终止231
  131. 10.2　错误处理231
  132. 10.2.1　错误触发231
  133. 10.2.2　错误报告233
  134. 10.2.3　错误恢复233
  135. 10.3　机密计算TEE-IO设备端实例234
  136. 第11章　TEE-IO的证明模型237
  137. 11.1　TVM对设备的证明237
  138. 11.1.1　证据的生成和传递238
  139. 11.1.2　验证248
  140. 11.1.3　证明结果的传递252
  141. 11.2　第三方对绑定设备的TVM的证明255
  142. 11.2.1　证据的生成和传递255
  143. 11.2.2　第三方验证TVM257
  144. 11.3　设备与主机的双向证明257
  145. 11.4　机密计算TEE-IO设备端证明实例258
  146. 第12章　TEE-IO的特别功能263
  147. 12.1　TEE-IO设备的弹性恢复263
  148. 12.2　TEE-IO设备的运行时更新265
  149. 12.2.1　运行时更新策略265
  150. 12.2.2　更新策略的验证266
  151. 12.2.3　更新固件的证明266
  152. 12.3　PCIe设备间的对等传输270
  153. 12.4　CXL设备271
  154. 12.4.1　机密计算CXL HDM的安全模型272
  155. 12.4.2　机密计算CXL HDM的威胁模型278
  156. 第13章　TEE-IO机密计算软件的开发279
  157. 13.1　TEE-IO软件应用的场景279
  158. 13.2　机密虚拟机中支持TEE-IO的软件280
  159. 13.3　TEE-IO设备证明281
  160. 13.4　TEE-IO安全通信282
  161. 第14章　TEE-IO的攻击与防范283
  162. 14.1　攻击方法283
  163. 14.1.1　攻击TEE-IO主机端284
  164. 14.1.2　攻击TEE-IO设备的连接284
  165. 14.1.3　攻击TEE-IO设备端288
  166. 14.2　防护原则292
  167. 14.2.1　TEE-IO主机端防护292
  168. 14.2.2　TEE-IO设备的连接防护293
  169. 14.2.3　TEE-IO设备端防护294

常见问题

《机密计算：原理与技术》适合谁读？

适合希望系统学习技术概念、实践方法、工具使用和行业知识的读者。

《机密计算：原理与技术》阅读难度高吗？

建议先看简介、目录、作者和相关书籍，再判断是否适合当前阶段阅读。

《机密计算：原理与技术》纸质书值得买吗？

当前暂未接入已核验的纸质书购买链接，建议通过出版社、京东、当当等正版渠道核对版本后购买。

《机密计算：原理与技术》哪个版本更适合？

优先选择作者、译者、出版社、出版年份和 ISBN 信息清楚的版本；经典作品可优先选择校注、导读或权威出版社版本。

在哪里可以合法获取《机密计算：原理与技术》？

当前没有确认授权的电子书下载资源，也暂未接入已核验购买链接；商业出版物不提供未授权下载，建议通过出版社、京东、当当或官方电子书平台核对获取。

如何继续查找《机密计算：原理与技术》相关书籍？

可以进入 姚颉文 作者页查看其他作品，也可以通过分类、标签、排行榜、人工推荐和“读完这本还可以读”继续发现相近主题。

相关书籍
开悟：数学黑客的生活之旅

开悟：数学黑客的生活之旅

树明

★ 9.7 科技技术
大话架构思维：从经典到前沿

大话架构思维：从经典到前沿

由维昭

★ 9.6 科技技术
用Go语言自制解释器

用Go语言自制解释器

[德]索斯藤·鲍尔（ThorstenBall）

★ 9.6 科技技术
氛围编程：AI编程像聊天一样简单

氛围编程：AI编程像聊天一样简单

伍斌

★ 9.6 科技技术
图解密码技术 第3版

图解密码技术 第3版

[日]结城浩

★ 9.4 科技技术
精通Power Query

精通Power Query

[加拿大]肯·普尔斯（KenPuls）

★ 9.4 科技技术

手机扫码下载

使用手机扫描二维码

扫码后会直接打开下载链接。

电子书下载二维码

手机端点击下载会直接跳转，无需扫码。