| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-44页 |
| ·课题研究背景 | 第12页 |
| ·国内外研究现状分析 | 第12-14页 |
| ·可信远程证明基础 | 第14-29页 |
| ·可信远程证明相关概念 | 第14-23页 |
| ·可信平台TPM和密钥证书 | 第23-28页 |
| ·可信远程证明概念 | 第28-29页 |
| ·其它相关概念及证明 | 第29-42页 |
| ·云计算 | 第29-34页 |
| ·双线性对 | 第34-36页 |
| ·Camensich-Lysyanskaya签名模式 | 第36-40页 |
| ·承诺方案 | 第40-42页 |
| ·本文的主要贡献 | 第42页 |
| ·论文的组织 | 第42-44页 |
| 第2章 可信远程证明模型 | 第44-63页 |
| ·已有可信远程证明模型分析 | 第44-50页 |
| ·基于二进制的远程证明模型 | 第44-45页 |
| ·混合远程证明模型 | 第45-47页 |
| ·基于软件的远程证明模型 | 第47-49页 |
| ·其他的远程证明模型 | 第49-50页 |
| ·BPBA模型 | 第50-54页 |
| ·双线性对与RSA密钥体制的比较 | 第50-52页 |
| ·BPBA模型与PBA模型的比较 | 第52-53页 |
| ·BPBA模型 | 第53-54页 |
| ·CBA模型 | 第54-60页 |
| ·CBA中采用的云计算框架 | 第54-55页 |
| ·CBA中的TPM管理 | 第55-58页 |
| ·CBA中AIK和EK证书管理 | 第58-60页 |
| ·符号说明 | 第60页 |
| ·本章小结 | 第60-63页 |
| 第3章 可信远程证明中的属性-配置证书协议 | 第63-76页 |
| ·引言 | 第63-64页 |
| ·属性-配置证书协议相关研究 | 第64-66页 |
| ·模型参数构造 | 第66页 |
| ·BPBA中的属性-配置协议 | 第66-71页 |
| ·设计原则 | 第66-67页 |
| ·协议设计 | 第67-71页 |
| ·CBA中的属性-配置协议 | 第71-73页 |
| ·本章小结 | 第73-76页 |
| 第4章 可信远程证明中的签名协议 | 第76-90页 |
| ·引言 | 第76页 |
| ·签名协议相关研究 | 第76-78页 |
| ·BPBA中的签名协议 | 第78-82页 |
| ·设计原则 | 第78页 |
| ·协议设计 | 第78-80页 |
| ·改进的BPBA签名协议 | 第80-82页 |
| ·CBA中的签名协议 | 第82-83页 |
| ·安全性能分析 | 第83-88页 |
| ·本章小结 | 第88-90页 |
| 第5章 可信远程证明中的验证协议及撤销算法 | 第90-96页 |
| ·引言 | 第90页 |
| ·验证算法及证书撤销算法相关研究 | 第90-92页 |
| ·BPBA和CBA中的验证算法及撤销算法 | 第92-94页 |
| ·验证算法 | 第92-94页 |
| ·撤销算法 | 第94页 |
| ·本章小结 | 第94-96页 |
| 第6章 基于可信远程证明的安全模型研究 | 第96-105页 |
| ·引言 | 第96页 |
| ·研究现状 | 第96-100页 |
| ·BLP模型 | 第97-98页 |
| ·Clark-Wilson模型 | 第98页 |
| ·Biba模型 | 第98-100页 |
| ·基于可信远程证明的安全模型 | 第100-104页 |
| ·模型定义 | 第100-101页 |
| ·模型设计 | 第101-103页 |
| ·模型分析 | 第103-104页 |
| ·本章小结 | 第104-105页 |
| 第7章 总结与展望 | 第105-107页 |
| 参考文献 | 第107-117页 |
| 致谢 | 第117-118页 |
| 攻读博士学位期间完成的论文 | 第118-120页 |
| 参与的科研项目 | 第120页 |