基于策略的语义远程认证
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-12页 |
| ·引言 | 第10页 |
| ·研究内容 | 第10-11页 |
| ·本论文的章节安排 | 第11-12页 |
| 第二章 可信计算 | 第12-24页 |
| ·可信计算 | 第12-15页 |
| ·可信计算的概念 | 第12-13页 |
| ·可信计算的发展 | 第13-15页 |
| ·可信计算平台组成 | 第15-20页 |
| ·可信平台模块TPM | 第15-17页 |
| ·可信平台支撑软件TSS | 第17-19页 |
| ·可信根的类型 | 第19-20页 |
| ·可信计算平台的特点 | 第20页 |
| ·可信计算平台的功能 | 第20-21页 |
| ·TCG 的身份证明 | 第21-22页 |
| ·完整性保护 | 第22页 |
| ·本章小结 | 第22-24页 |
| 第三章 远程认证 | 第24-34页 |
| ·传统身份认证 | 第24-29页 |
| ·简单口令 | 第24页 |
| ·基于智能卡的用户身份认证 | 第24-25页 |
| ·基于密钥的认证机制 | 第25-28页 |
| ·基于挑战/应答的认证机制 | 第28-29页 |
| ·远程认证存在的问题 | 第29-30页 |
| ·可信计算中的远程认证 | 第30-32页 |
| ·本章小结 | 第32-34页 |
| 第四章 Java 虚拟机可信平台信任链的构建 | 第34-44页 |
| ·Java 虚拟机 | 第34-35页 |
| ·JVM 可信平台信任链 | 第35-40页 |
| ·GRUB 加载Linux 过程 | 第35-36页 |
| ·Java 程序启动执行流程 | 第36-40页 |
| ·完整信任链结构 | 第40-42页 |
| ·本章小结 | 第42-44页 |
| 第五章 语义远程认证策略 | 第44-52页 |
| ·远程认证模型 | 第44-46页 |
| ·语义远程认证策略 | 第46-49页 |
| ·活动主体/客体行为认证策略 | 第47-48页 |
| ·状态转换行为认证策略 | 第48-49页 |
| ·属性更新行为策略 | 第49页 |
| ·语义远程认证策略证明 | 第49-50页 |
| ·本章小结 | 第50-52页 |
| 第六章 语义远程认证策略的原型实验 | 第52-74页 |
| ·实验环境的介绍 | 第52-58页 |
| ·TPM Emulator 功能介绍 | 第53-54页 |
| ·TPM Emulator 引擎 | 第54页 |
| ·初始化和自我测试 | 第54页 |
| ·关机和数据存储 | 第54页 |
| ·命令执行 | 第54-55页 |
| ·IAIK jTSS | 第55-58页 |
| ·实验环境搭建 | 第58-63页 |
| ·安装GNU MP | 第58页 |
| ·安装TPM Emulator | 第58-60页 |
| ·测试 | 第60页 |
| ·IAIK jTSS 安装需求 | 第60-61页 |
| ·详细配置 | 第61-63页 |
| ·测试 | 第63页 |
| ·用户可信度的计算 | 第63-69页 |
| ·计算用户可信度流程 | 第63-64页 |
| ·信息收集器设计与实现 | 第64-67页 |
| ·可信度计算模型的设计与实现 | 第67-69页 |
| ·实验结果 | 第69-73页 |
| ·本章小结 | 第73-74页 |
| 第七章 总结 | 第74-75页 |
| 参考文献 | 第75-77页 |
| 致谢 | 第77-78页 |
| 攻读学位期间发表的学术论文目录 | 第78页 |
