可信计算环境远程进程行为证明机制研究

摘要	第1-5页
ABSTRACT	第5-9页
第一章 绪论	第9-11页
·引言	第9页
·研究内容	第9页
·论文组织结构	第9-11页
第二章 可信计算	第11-25页
·可信计算	第11-12页
·TCG	第11-12页
·TPM组成部分以及防篡改保护	第12-19页
·TPM的密钥类型和证书	第13-15页
·可信平台支撑软件TSS	第15-16页
·完整性度量和报告	第16-17页
·信任链	第17-18页
·可信假设	第18-19页
·可信计算的特点	第19-21页
·可信网络控制	第21-25页
·IF—TNCSS的作用	第21-22页
·TNC客户端和TNC服务器端的特点	第22-23页
·TNC结构流程图	第23-25页
第三章 远程进程行为证明	第25-43页
·语义远程证明	第26-27页
·程序执行时的远程证明	第27-29页
·基于行为模型的远程证明	第29-32页
·进程行为的远程证明	第32-41页
·系统进程分析原理	第33-34页
·实时进程行为结构	第34-37页
·审查虚拟机	第37-41页
·本章小结	第41-43页
第四章 原型验证	第43-53页
·实验环境	第43-49页
·TPM Emulator的原理	第43-44页
·TPM Emulator的配置	第44-45页
·安装TPM Emulator	第45-47页
·TSS的安装	第47-49页
·实验过程与结果	第49-53页
第五章 总结	第53-55页
参考文献	第55-57页
致谢	第57-59页
攻读学位期间发表的学术论文目录	第59页