面向嵌入式系统的可信远程证明技术的研究
摘要 | 第4-5页 |
abstract | 第5页 |
注释表 | 第10-11页 |
缩略词 | 第11-12页 |
第一章 绪论 | 第12-23页 |
1.1 研究背景与意义 | 第12-13页 |
1.1.1 研究背景 | 第12-13页 |
1.1.2 研究意义 | 第13页 |
1.2 远程证明技术概述 | 第13-15页 |
1.2.1 可信计算技术 | 第13-14页 |
1.2.2 可信网络连接技术 | 第14-15页 |
1.2.3 远程证明技术 | 第15页 |
1.3 国内外研究现状 | 第15-20页 |
1.3.1 身份证明技术研究现状 | 第16-17页 |
1.3.2 完整性证明技术研究现状 | 第17-20页 |
1.4 论文主要工作 | 第20-21页 |
1.5 论文组织结构 | 第21-23页 |
第二章 面向嵌入式平台远程证明系统的总体设计 | 第23-30页 |
2.1 远程证明系统的设计目标与功能需求分析 | 第23-25页 |
2.1.1 设计目标 | 第23-24页 |
2.1.2 功能需求分析 | 第24-25页 |
2.2 远程证明系统的总体架构设计 | 第25-28页 |
2.2.1 远程证明系统总体逻辑架构设计 | 第25-26页 |
2.2.2 远程证明系统总体功能模块结构设计 | 第26-27页 |
2.2.3 核心认证功能架构设计 | 第27-28页 |
2.3 远程证明系统总体流程设计 | 第28-29页 |
2.4 本章小结 | 第29-30页 |
第三章 基于双向匿名认证的平台身份证明 | 第30-40页 |
3.1 可信平台的身份证明技术 | 第30-33页 |
3.1.1 可信平台密钥类型 | 第30-31页 |
3.1.2 可信平台证书体系 | 第31-32页 |
3.1.3 直接匿名证明方案 | 第32-33页 |
3.2 可信平台匿名身份双向认证协议设计 | 第33-37页 |
3.2.1 协议的设计原则 | 第34-35页 |
3.2.2 相关密码学基础 | 第35-36页 |
3.2.3 协议流程设计 | 第36-37页 |
3.3 可信平台双向认证协议分析 | 第37-39页 |
3.3.1 安全性分析 | 第37-39页 |
3.3.2 性能分析 | 第39页 |
3.4 本章小结 | 第39-40页 |
第四章 基于局部性原理的平台完整性证明 | 第40-55页 |
4.1 基于配置的平台完整性远程证明架构分析 | 第40-44页 |
4.1.1 TCG远程验证架构 | 第40-41页 |
4.1.2 IMA远程验证架构 | 第41-43页 |
4.1.3 RAMT远程验证架构 | 第43-44页 |
4.1.4 现有架构对比分析 | 第44页 |
4.2 基于局部性原理的远程验证机制 | 第44-49页 |
4.2.1 局部性强弱的量化方法 | 第44-46页 |
4.2.2 LPBHT构造生成算法 | 第46-48页 |
4.2.3 基于LPBHT的远程证明算法 | 第48-49页 |
4.3 可信平台完整性度量时间选取方法 | 第49-52页 |
4.3.1 时间粒度选取方法分析 | 第49-50页 |
4.3.2 随机化时间选取算法 | 第50-52页 |
4.4 实验与结果分析 | 第52-54页 |
4.4.1 构造效率实验与分析 | 第52-53页 |
4.4.2 验证效率实验与分析 | 第53-54页 |
4.5 本章小结 | 第54-55页 |
第五章 面向嵌入式平台远程证明系统的实现 | 第55-67页 |
5.1 系统实现概述 | 第55-56页 |
5.2 面向龙芯平台的远程证明系统环境搭建 | 第56-57页 |
5.3 相关数据结构设计 | 第57-60页 |
5.4 核心模块的设计与实现 | 第60-65页 |
5.4.1 服务请求模块 | 第60-61页 |
5.4.2 平台身份认证模块 | 第61-63页 |
5.4.3 平台完整性认证模块 | 第63-64页 |
5.4.4 设备管理模块 | 第64-65页 |
5.4.5 策略库管理模块 | 第65页 |
5.5 系统性能测试与分析 | 第65-66页 |
5.6 本章小结 | 第66-67页 |
第六章 总结与展望 | 第67-69页 |
6.1 论文工作总结 | 第67-68页 |
6.2 进一步研究工作 | 第68-69页 |
参考文献 | 第69-74页 |
致谢 | 第74-75页 |
在学期间的研究成果及发表的学术论文 | 第75页 |