| 摘要 | 第1-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题的研究背景 | 第9-10页 |
| ·课题来源及研究意义 | 第10-11页 |
| ·课题来源 | 第10-11页 |
| ·课题研究意义 | 第11页 |
| ·论文的主要工作 | 第11-12页 |
| ·论文的组织结构 | 第12-14页 |
| 第二章 相关技术研究 | 第14-24页 |
| ·可信计算平台 | 第14-18页 |
| ·可信计算平台基本功能 | 第14-15页 |
| ·可信计算平台密钥及证书 | 第15-16页 |
| ·可信平台模块 | 第16-17页 |
| ·可信软件堆 | 第17-18页 |
| ·远程证明概述 | 第18-20页 |
| ·平台完整性度量 | 第18-19页 |
| ·平台完整性报告 | 第19-20页 |
| ·可证明安全理论 | 第20-22页 |
| ·随机预言模型 | 第21页 |
| ·标准模型 | 第21-22页 |
| ·标准模型下的短群签名 | 第22-23页 |
| ·安全假设 | 第22页 |
| ·形式化定义 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 典型DAA协议分析与研究 | 第24-35页 |
| ·BCC协议 | 第24-33页 |
| ·背景知识 | 第24-26页 |
| ·协议实体及假名 | 第26-27页 |
| ·协议原理 | 第27页 |
| ·协议描述 | 第27-31页 |
| ·安全分析 | 第31-32页 |
| ·存在的问题 | 第32-33页 |
| ·BCL协议及CMP协议 | 第33-34页 |
| ·问题的提出 | 第34页 |
| ·本章小结 | 第34-35页 |
| 第四章 基于短群签名的DAA协议设计与证明 | 第35-63页 |
| ·需求分析 | 第35-36页 |
| ·设计目标及设计思想 | 第36-37页 |
| ·设计目标 | 第36页 |
| ·设计思想 | 第36-37页 |
| ·协议关键点 | 第37-39页 |
| ·标准模型下短群签名的选取 | 第37-38页 |
| ·基于Fiat-Shamir启发式的知识签名设计 | 第38-39页 |
| ·安全与效率的均衡化 | 第39页 |
| ·协议总体结构 | 第39-42页 |
| ·协议组成 | 第39-40页 |
| ·工作流程 | 第40-42页 |
| ·协议描述 | 第42-49页 |
| ·Setup算法 | 第42页 |
| ·Join协议 | 第42-45页 |
| ·Sign协议 | 第45-47页 |
| ·Verify算法 | 第47-48页 |
| ·Linking算法 | 第48-49页 |
| ·RogueTagging算法 | 第49页 |
| ·协议安全性分析 | 第49-52页 |
| ·正确性 | 第49页 |
| ·完备性 | 第49-50页 |
| ·用户可控匿名性 | 第50-51页 |
| ·用户可控追踪性 | 第51-52页 |
| ·协议在标准模型下的安全性证明 | 第52-61页 |
| ·证明原理 | 第52-53页 |
| ·证明过程 | 第53-61页 |
| ·比较与分析 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 第五章 基于短群签名的DAA协议实现 | 第63-72页 |
| ·开发平台 | 第63-64页 |
| ·技术难点 | 第64-65页 |
| ·关键模块实现 | 第65-71页 |
| ·Setup模块 | 第65-66页 |
| ·Join模块 | 第66-69页 |
| ·Sign模块 | 第69-70页 |
| ·Verify模块 | 第70-71页 |
| ·本章小结 | 第71-72页 |
| 第六章 基于短群签名的DAA协议在远程证明系统中应用 | 第72-83页 |
| ·基于平台完整性的远程证明系统设计 | 第72-74页 |
| ·需求分析 | 第72页 |
| ·关键技术 | 第72-73页 |
| ·总体架构 | 第73-74页 |
| ·工作流程 | 第74页 |
| ·证明模块 | 第74-79页 |
| ·可信硬件层 | 第75-77页 |
| ·可信度量层 | 第77-78页 |
| ·可信服务层 | 第78-79页 |
| ·验证模块 | 第79-80页 |
| ·系统实现 | 第80-82页 |
| ·本章小结 | 第82-83页 |
| 第七章 总结与展望 | 第83-85页 |
| ·本文工作总结 | 第83-84页 |
| ·下一步工作计划 | 第84-85页 |
| 参考文献 | 第85-88页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第88-89页 |
| 致谢 | 第89页 |