可信计算PDF电子书下载

前言 1

第一篇 可信计算概论 3

第1章信息安全概论 3

1.1信息安全是信息时代永恒的需求 3

1.2信息安全问题的技术原因 5

1.3信息安全学科概论 6

1.3.1信息安全的内涵 6

1.3.2信息安全的主要研究方向和研究内容 8

1.3.3信息安全的理论基础 10

1.3.4信息安全的方法论基础 12

1.4本章小结 14

参考文献 14

第2章可信计算概论 17

2.1可信计算的概念 17

2.2可信计算的发展历程 19

2.2.1可信计算的出现 19

2.2.2可信计算的高潮 20

2.2.3中国的可信计算事业 22

2.3可信计算的主要技术路线 23

2.3.1可信的概念与属性 23

2.3.2信任根 24

2.3.3信任度量模型与信任链 25

2.3.4可信计算平台 27

2.3.5可信平台模块TPM 29

2.3.6可信软件栈TSS 30

2.3.7可信网络连接TNC 32

2.3.8远程证明 34

2.4本章小结 35

参考文献 36

第3章信任理论 39

3.1基于概率统计的信任理论 39

3.1.1加权平均信任计算 39

3.1.2Beta分布信任计算 39

3.1.3Dirichlet分布信任计算 40

3.1.4主观逻辑信任模型 41

3.1.5证据理论信任模型 41

3.2基于模糊数学的信任理论 42

3.2.1模糊直接信任关系 42

3.2.2模糊直接信任关系隶属函数 43

3.2.3模糊推荐关系 44

3.2.4模糊间接信任关系 45

3.2.5模糊全局信任关系 46

3.2.6模糊算子 47

3.2.7模糊全局信任关系计算 48

3.3信任管理 49

3.3.1综合评判 49

3.3.2聚类分析 51

3.4本章小结 56

参考文献 56

第二篇 可信计算平台 61

第4章可信平台模块 61

4.1TCG的TPM 61

4.1.1TPM的结构 62

4.1.2TPM中的密码配置 63

4.1.3TPM中的密钥管理 65

4.1.4TPM的对象访问授权协议 73

4.1.5TPM的不足 74

4.2对TCG的TPM密钥体系的一些改进和建议 75

4.2.1简化密钥和证书管理体系 76

4.2.2增加对称密码引擎 78

4.2.3增加ECC密码引擎 79

4.2.4更新Hash函数引擎 80

4.2.5授权数据复用及密钥不同步问题的改进 80

4.3中国的TCM 86

4.3.1J2810芯片和嵌入式安全模块（ESM） 87

4.3.2J3210芯片 93

4.3.3可信平台控制模块（TPCM） 99

4.3.4嵌入式操作系统 101

4.4TPM的发展 104

4.5本章小结 106

参考文献 106

第5章信任链技术 108

5.1TCG的信任链技术 108

5.1.1TCG的信任链技术 109

5.1.2TCG的信任链技术的一些不足 112

5.2具有数据恢复的星形信任结构 114

5.2.1信任模型 114

5.2.2具有数据恢复的星形信任结构 116

5.2.3应用 118

5.3基于可信平台控制模块TPCM的信任链 118

5.4平台的多次度量技术 120

5.4.1信任根 121

5.4.2Locality机制 121

5.5可信计算平台信任链安全模型 124

5.5.1信任链交互模型 124

5.5.2信任链复合模型 129

5.5.3进一步的讨论 132

5.6本章小结 133

参考文献 134

第6章可信软件栈 136

6.1TCG的软件栈 136

6.1.1TCG软件栈的体系结构 136

6.1.2TCG软件栈的优点和不足 145

6.2中国的可信软件栈 146

6.2.1中国可信软件栈规范的进展 146

6.2.2一种扩展的可信软件栈结构研究 147

6.3可信软件栈的产品和应用 152

6.3.1可信软件栈的一些产品 152

6.3.2可信软件栈的应用 154

6.4本章小结 154

参考文献 154

第7章可信PC平台 156

7.1计算机的安全启动技术 156

7.1.1计算机可信度量根 157

7.1.2可信度量根完整性保护 158

7.1.3计算机安全启动的一种实现 159

7.1.4BIOS安全增强 160

7.1.5PMBR 160

7.2中国的可信PC平台 162

7.2.1系统结构 162

7.2.2智能卡子系统 163

7.2.3TCM子系统 164

7.2.4操作系统安全增强 168

7.3本章小结 169

参考文献 170

第8章可信PC平台的测评 172

8.1可信计算平台测评的概念 172

8.1.1国内外研究现状 172

8.1.2可信计算PC平台测评的体系 173

8.1.3本章节组织结构 174

8.2TPM的测试技术 176

8.2.1基于状态机测试的基本思路 176

8.2.2TPM状态机输入分析 176

8.2.3TPM运行状态转换分析 177

8.2.4TPM自动机模型的建立 180

8.3信任链的测试技术 184

8.3.1信任链交互模型 184

8.3.2信任链接口模型 185

8.3.3信任链的安全性分析 187

8.3.4信任链功能一致性测试对象要求 188

8.3.5信任链测试实例 191

8.3.6信任链测试分析 192

8.4可信软件栈的测试技术 193

8.4.1测试用例生成模型 193

8.4.2冗余测试用例剪裁 195

8.4.3基于反射机制的可信软件栈测试研究 196

8.4.4标准符合性测试实验 201

8.5本章小结 203

参考文献 204

第9章可信PDA 207

9.1可信嵌入式平台系统结构 208

9.1.1可信嵌入式平台安全目标 208

9.1.2可信嵌入式平台系统结构 209

9.2可信PDA的硬件系统 211

9.2.1可信PDA的信任链 211

9.2.2可信PDA总线仲裁 216

9.2.3可信PDA系统备份恢复 218

9.2.4硬件对称密码算法 220

9.3可信PDA的软件系统 222

9.3.1SD卡上的文件加密系统 222

9.3.2存储隔离保护 225

9.3.3访问控制增强 227

9.3.4日志系统 229

9.3.5可信PDA的TSS 230

9.4可信PDA安全性分析 232

9.5本章小结 234

参考文献 235

第三篇 可信软件技术 241

第10章软件动态行为可信技术 241

10.1可信软件与软件动态行为可信性 242

10.1.1可信软件 242

10.1.2软件动态行为可信性 244

10.2软件行为完整性确保技术 247

10.2.1什么是软件行为的完整性 247

10.2.2保障软件行为完整性的几种思路 248

10.2.3软件行为完整性确保技术 249

10.2.4基于软件指纹的软件动态可信认证系统 265

10.3本章小结 268

参考文献 269

第11章软件测试技术 273

11.1软件测试技术 273

11.1.1软件测试的基本概念 273

11.1.2自动化测试技术 278

11.2面向缺陷的软件测试技术 280

11.2.1具有系统特性的随机测试 280

11.2.2安全API规范形式化分析 287

11.3本章小结 292

参考文献 292

第四篇 远程证明与可信网络连接 297

第12章远程证明 297

12.1远程证明概述 297

12.1.1远程证明的概念 297

12.1.2远程证明相关研究 298

12.2远程证明核心机制 301

12.2.1证据可信性保证 302

12.2.2度量可信性保证 309

12.3远程证明系统与远端代码可信执行系统 317

12.3.1远程证明原型系统的设计与实现 317

12.3.2基于属性的远程证明系统设计与实现 319

12.3.3远端代码可信执行系统 324

12.4本章小结 332

参考文献 333

第13章可信网络连接 336

13.1TNC架构 337

13.1.1TNC的发展历程 337

13.1.2TNC架构 337

13.1.3TNC基本流程 339

13.1.4TNC的支撑技术 341

13.1.5TNC架构分析 342

13.2中国可信连接架构TCA 343

13.2.1TCA与TNC的区别 344

13.2.2TCA规范概述 345

13.3TNC的系统实现 346

13.3.1基于802.1X的网络接入控制系统的设计与实现 347

13.3.2可信网络连接原型系统的设计与实现 353

13.4TNC的发展趋势 358

13.4.1可信网络环境的理论模型 359

13.4.2可信度量与可信报告研究 359

13.4.3可信网络传输与可信资源共享研究 360

13.5本章小结 362

参考文献 362

第14章可信网络的授权动态控制 365

14.1信任度的计算 365

14.2基于信号博弈的动态授权 369

14.2.1信号博弈理论 370

14.2.2基于信任度的信号博弈授权模型 371

14.3利用遗传算法实现信任度调整和授权的自适应 376

14.4可信网络连接与动态授权 384

14.5本章小结 393

参考文献 393

第五篇 可信计算技术应用 397

第15章基于可信计算技术的数字版权保护 397

15.1背景与意义 397

15.2系统主要功能 398

15.3系统结构 398

15.4DRM硬件板卡结构 399

15.4.1ETPM模块 400

15.4.2FPGA模块 400

15.4.3PCI/CPCI接口模块 401

15.5DRM保护程序设计 401

15.5.1文件过滤驱动层 401

15.5.2PE文件加壳模块 406

15.5.3APIhook模块 410

15.6DRM系统性能分析 412

15.6.1功能分析 412

15.6.2运行速度分析 413

15.7本章小结 414

参考文献 415

第16章基于可信计算增强网格计算安全 416

16.1网格概述 416

16.1.1网格的概念 416

16.1.2网格的基本要求 417

16.1.3网格的意义与应用领域 417

16.2网格特点与安全需求分析 418

16.2.1网格的特点 418

16.2.2网格的安全性需求分析 420

16.2.3现有的网格安全技术 422

16.3基于可信计算技术的网格安全技术 425

16.3.1网格的可信性增强机制 425

16.3.2基于可信计算平台的网格安全基础设施 426

16.4基于可信性证明的网格信任扩展 428

16.4.1基于可信性证明的网格信任扩展 428

16.4.2基于属性证书的网格实体可信评价 430

16.5基于可信计算技术的网格代理机制 431

16.5.1可信迁移机制在网格中的应用 431

16.5.2基于可信计算平台的单点登录 433

16.5.3TCP-BasedGSI的工作流程 433

16.6基于可信计算技术的网格虚拟组织构建 437

16.6.1直接申请加入VO 437

16.6.2推荐加入VO 437

16.7基于可信硬件的网格敏感数据保护 439

16.7.1密钥保护 439

16.7.2敏感文件保护 440

16.8基于可信计算平台的网格可信支撑系统——Daonity 441

16.8.1Daonity的组织架构 441

16.8.2系统的主要功能 443

16.9本章小结 443

参考文献 444

第17章基于可信计算增强云计算基础设施安全 447

17.1云计算基础设施的安全需求 447

17.1.1云计算基础设施服务层的特点 447

17.1.2云计算基础设施服务层的安全问题 449

17.1.3可信计算与云计算基础设施服务层的安全增强 451

17.2安全可扩展的云计算基础度量结构 454

17.2.1对链式信任结构的分析 454

17.2.2基本星型信任度量结构的描述 455

17.2.3关于基本星型信任结构的讨论与改进 456

17.3非交互式云计算安全基础设施验证 458

17.3.1TCG的远程证明方法 458

17.3.2云计算环境下远程证明存在的问题 460

17.3.3一种满足验证约束的云计算环境安全启动方案 461

17.3.4一种非交互式TPM验证约束的远程证明方案 463

17.3.5关于方案的讨论 467

17.4本章小结 469

参考文献 470