移动计算环境可信保障关键技术研究及应用
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-7页 |
| 第1章 绪论 | 第13-29页 |
| 1.1 研究背景及意义 | 第13-14页 |
| 1.2 可信计算的背景 | 第14-17页 |
| 1.2.1 可信计算的概念 | 第14页 |
| 1.2.2 可信计算的发展 | 第14-17页 |
| 1.3 国内外研究进展 | 第17-25页 |
| 1.3.1 移动计算环境安全的现状 | 第17-18页 |
| 1.3.2 平台可信增强技术的现状 | 第18-21页 |
| 1.3.3 软件可信度量技术的现状 | 第21-22页 |
| 1.3.4 网络可信连接技术的现状 | 第22-24页 |
| 1.3.5 研究现状总结 | 第24-25页 |
| 1.4 主要研究内容 | 第25-26页 |
| 1.5 论文组织结构 | 第26-29页 |
| 第2章 基于通用智能卡的平台可信增强技术 | 第29-51页 |
| 2.1 引言 | 第29页 |
| 2.2 相关领域的研究进展 | 第29-32页 |
| 2.2.1 可信启动的现状 | 第29-30页 |
| 2.2.2 数据保护的现状 | 第30-32页 |
| 2.3 总体架构 | 第32-33页 |
| 2.4 基于双因素认证的可信启动模型 | 第33-41页 |
| 2.4.1 TSC的逻辑结构 | 第33-35页 |
| 2.4.2 磁盘启动环境的可信保障 | 第35-37页 |
| 2.4.3 可信启动机制 | 第37-39页 |
| 2.4.4 相关定义及算法 | 第39-41页 |
| 2.5 基于扇区的数据保护模型 | 第41-48页 |
| 2.5.1 TDE的逻辑结构 | 第41-42页 |
| 2.5.2 密钥的分级结构 | 第42-43页 |
| 2.5.3 密钥的派生 | 第43-46页 |
| 2.5.4 磁盘的加密 | 第46-47页 |
| 2.5.5 TDE的运行机制 | 第47-48页 |
| 2.6 实验与分析 | 第48-50页 |
| 2.6.1 安全性分析 | 第48-49页 |
| 2.6.2 TSC的性能分析 | 第49-50页 |
| 2.7 本章小结 | 第50-51页 |
| 第3章 基于策略的软件可信度量技术 | 第51-81页 |
| 3.1 引言 | 第51页 |
| 3.2 相关领域的研究进展 | 第51-53页 |
| 3.2.1 静态度量的现状 | 第51页 |
| 3.2.2 动态度量的现状 | 第51-53页 |
| 3.3 安全目标和总体架构 | 第53-55页 |
| 3.3.1 安全目标和关键技术 | 第53-54页 |
| 3.3.2 总体架构 | 第54-55页 |
| 3.4 相关定义及实体组成 | 第55-63页 |
| 3.4.1 相关定义 | 第55-58页 |
| 3.4.2 终端平台 | 第58-61页 |
| 3.4.3 服务端 | 第61-62页 |
| 3.4.4 可信第三方 | 第62-63页 |
| 3.5 基于属性的静态度量 | 第63-65页 |
| 3.5.1 静态度量策略的建立 | 第63-64页 |
| 3.5.2 静态度量的执行 | 第64-65页 |
| 3.6 基于策略的动态度量 | 第65-71页 |
| 3.6.1 操作系统关键区域的动态度量 | 第66-67页 |
| 3.6.2 可信风险树模型 | 第67-68页 |
| 3.6.3 动态度量策略的建立 | 第68-70页 |
| 3.6.4 基于可信风险树的软件动态度量 | 第70-71页 |
| 3.7 基于行为报告的可信评价 | 第71-73页 |
| 3.7.1 滑动窗口模型 | 第71-73页 |
| 3.7.2 可信评价的计算方法 | 第73页 |
| 3.8 实验与分析 | 第73-79页 |
| 3.8.1 实验环境 | 第74页 |
| 3.8.2 动态度量模型 | 第74-77页 |
| 3.8.3 可信评价模型 | 第77-79页 |
| 3.9 本章小结 | 第79-81页 |
| 第4章 基于属性的网络可信连接技术 | 第81-103页 |
| 4.1 引言 | 第81页 |
| 4.2 相关领域的研究进展 | 第81-83页 |
| 4.2.1 网络接入技术的现状 | 第81-82页 |
| 4.2.2 网络控制技术的现状 | 第82-83页 |
| 4.3 安全目标 | 第83-84页 |
| 4.4 基于属性的可信连接架构 | 第84-88页 |
| 4.4.1 访问请求者 | 第85-86页 |
| 4.4.2 访问控制器 | 第86-87页 |
| 4.4.3 策略管理器 | 第87-88页 |
| 4.5 基于属性的远程证明 | 第88-93页 |
| 4.5.1 服务端平台配置属性 | 第88-89页 |
| 4.5.2 终端平台配置属性 | 第89-90页 |
| 4.5.3 远程证明的过程 | 第90-93页 |
| 4.6 基于策略的网络控制 | 第93-98页 |
| 4.6.1 网络协议架构及分析 | 第93-94页 |
| 4.6.2 WFP技术原理 | 第94-96页 |
| 4.6.3 终端平台的网络控制 | 第96-97页 |
| 4.6.4 服务端的网络控制 | 第97-98页 |
| 4.7 实验与分析 | 第98-101页 |
| 4.7.1 实验环境 | 第99页 |
| 4.7.2 通信的可信性保障 | 第99-100页 |
| 4.7.3 网络数据的控制 | 第100-101页 |
| 4.8 本章小结 | 第101-103页 |
| 第5章 移动计算环境的可信系统构建 | 第103-133页 |
| 5.1 系统背景 | 第103-104页 |
| 5.2 系统的体系结构 | 第104-107页 |
| 5.2.1 终端平台的执行流程 | 第104-105页 |
| 5.2.2 拓扑结构和工作模式 | 第105-107页 |
| 5.3 基于通用智能卡的平台可信增强技术实现 | 第107-112页 |
| 5.3.1 双因素认证的实现 | 第107-109页 |
| 5.3.2 数据保护模型的实现 | 第109-111页 |
| 5.3.3 TSC更新的实现 | 第111页 |
| 5.3.4 启动扇区恢复的实现 | 第111-112页 |
| 5.4 基于策略的软件可信度量技术实现 | 第112-121页 |
| 5.4.1 系统运行时可信性保护的实现 | 第112-117页 |
| 5.4.2 软件静态度量的实现 | 第117-118页 |
| 5.4.3 软件动态度量的实现 | 第118-121页 |
| 5.5 基于属性的网络可信连接技术实现 | 第121-132页 |
| 5.5.1 网络类型判定方案 | 第121-125页 |
| 5.5.2 网络类型判断的实现 | 第125-127页 |
| 5.5.3 网络类型判断的实验 | 第127-128页 |
| 5.5.4 远程证明的实现 | 第128-130页 |
| 5.5.5 网络控制的实现 | 第130-132页 |
| 5.6 本章小结 | 第132-133页 |
| 第6章 结束语 | 第133-135页 |
| 6.1 论文的主要贡献 | 第133-134页 |
| 6.2 进一步工作的方向 | 第134-135页 |
| 参考文献 | 第135-145页 |
| 攻读博士学位期间取得的研究成果 | 第145-147页 |
| 攻读博士学位期间参与的科研工作 | 第147-149页 |
| 致谢 | 第149页 |
