基于动态群签名的隐私CA系统设计与实现
摘要 | 第5-6页 |
Abstract | 第6-7页 |
第1章 绪论 | 第11-17页 |
1.1 研究背景 | 第11-12页 |
1.2 国内外研究现状 | 第12-14页 |
1.3 研究内容 | 第14-15页 |
1.4 本文组织结构 | 第15-17页 |
第2章 相关技术和理论基础 | 第17-31页 |
2.1 可信计算平台的体系结构 | 第17-18页 |
2.2 可信平台模块TPM | 第18-19页 |
2.3 可信软件栈TSS | 第19-21页 |
2.4 TPM的密钥类型 | 第21-22页 |
2.5 TCG的证书类型 | 第22页 |
2.6 数学基础 | 第22-23页 |
2.6.1 双线性群 | 第22-23页 |
2.6.2 数论难题 | 第23页 |
2.7 承诺方案 | 第23-24页 |
2.8 非交互式零知识证明系统 | 第24-28页 |
2.8.1 零知识证明 | 第24-25页 |
2.8.2 非交互式零知识证明 | 第25-26页 |
2.8.3 Groth-Sahai 证明系统 | 第26-28页 |
2.9 Groth子协议 | 第28-29页 |
2.10 本章小结 | 第29-31页 |
第3章 基于BSZ模型的动态群签名方案 | 第31-43页 |
3.1 BSZ安全模型 | 第31-34页 |
3.1.1 群签名方案构成 | 第31-32页 |
3.1.2 安全性定义 | 第32-34页 |
3.2 DGS方案描述 | 第34-36页 |
3.3 安全性证明 | 第36-41页 |
3.3.1 可追踪性 | 第36-38页 |
3.3.2 匿名性 | 第38-39页 |
3.3.3 不可诬陷性 | 第39-41页 |
3.4 性能分析与比较 | 第41-42页 |
3.5 本章小结 | 第42-43页 |
第4章 基于DGS方案的隐私CA系统 | 第43-57页 |
4.1 传统的隐私CA方案 | 第43-44页 |
4.2 基于DGS方案的隐私CA系统模型 | 第44-46页 |
4.2.1 基本思想 | 第44-45页 |
4.2.2 体系结构 | 第45-46页 |
4.2.3 系统模型分析 | 第46页 |
4.3 系统分析与设计 | 第46-51页 |
4.3.1 初始化 | 第47页 |
4.3.2 隐私群成员的加入 | 第47-48页 |
4.3.3 AIK证书的签发 | 第48-50页 |
4.3.4 平台远程证明 | 第50页 |
4.3.5 系统功能模块 | 第50-51页 |
4.4 类设计 | 第51-56页 |
4.4.1 公共模块的类设计 | 第51-53页 |
4.4.2 客户端的类设计 | 第53-54页 |
4.4.3 PCA服务器的类定义 | 第54-55页 |
4.4.4 CA服务器的类定义 | 第55-56页 |
4.5 本章小结 | 第56-57页 |
第5章 基于DGS方案的隐私CA系统实现 | 第57-71页 |
5.1 开发环境 | 第57页 |
5.2 隐私群成员加入的实现 | 第57-60页 |
5.2.1 客户端请求加入隐私群 | 第57-59页 |
5.2.2 PCA服务器加入隐私群成员 | 第59-60页 |
5.2.3 客户端获得隐私群成员私钥 | 第60页 |
5.3 AIK证书生成的实现 | 第60-63页 |
5.3.1 客户端请求签发AIK证书 | 第60-62页 |
5.3.2 CA服务器签发AIK证书 | 第62-63页 |
5.3.3 客户端获得AIK证书 | 第63页 |
5.4 AIK证书查找的实现 | 第63-65页 |
5.4.1 客户端生成查找请求 | 第63-64页 |
5.4.2 CA服务器查找AIK证书 | 第64-65页 |
5.4.3 客户端获得查找结果 | 第65页 |
5.5 AIK证书下载的实现 | 第65-67页 |
5.5.1 客户端生成下载请求 | 第65-66页 |
5.5.2 CA服务器下载AIK证书 | 第66-67页 |
5.5.3 客户端存储AIK证书 | 第67页 |
5.6 功能测试 | 第67-70页 |
5.6.1 系统启动 | 第67页 |
5.6.2 加入隐私群 | 第67-68页 |
5.6.3 AIK证书的申请和签发 | 第68-69页 |
5.6.4 AIK证书的查找和下载 | 第69-70页 |
5.7 本章小结 | 第70-71页 |
第6章 总结与展望 | 第71-73页 |
参考文献 | 第73-77页 |
致谢 | 第77-79页 |
攻读硕士学位期间的论文项目情况 | 第79页 |