两方交集保密计算协议的设计和实现
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 引言 | 第8-10页 |
| 1 理论背景 | 第10-20页 |
| ·椭圆曲线理论 | 第10-15页 |
| ·椭圆曲线简介 | 第10-11页 |
| ·实数域上的椭圆曲线 | 第11-12页 |
| ·素数域GF(p)上的椭圆曲线 | 第12-13页 |
| ·特征为2的有限域GF(2~m)上的椭圆曲线 | 第13-15页 |
| ·基于身份的加密系统 | 第15-16页 |
| ·零知识证明系统 | 第16-17页 |
| ·交互式的零知识证明 | 第16-17页 |
| ·非交互式零知识证明 | 第17页 |
| ·承诺方案 | 第17-20页 |
| 2 协议的理论构造 | 第20-35页 |
| ·协议总体结构 | 第20-24页 |
| ·匿名IBE方案 | 第24-25页 |
| ·盲钥生成子协议 | 第25页 |
| ·完美零知识证明子协议 | 第25-32页 |
| ·ZKoP_Ⅰ | 第27-29页 |
| ·ZKoP_Ⅱ | 第29-30页 |
| ·ZKoP_Ⅲ | 第30-32页 |
| ·抗翻供承诺方案 | 第32-35页 |
| 3 软件实现 | 第35-48页 |
| ·协议结构描述 | 第35-38页 |
| ·运行机制 | 第35-37页 |
| ·模块组成 | 第37-38页 |
| ·数据结构定义 | 第38-41页 |
| ·IBE加密系统 | 第41-43页 |
| ·初始与清理 | 第41页 |
| ·盲钥生成 | 第41-42页 |
| ·数据加解密 | 第42-43页 |
| ·承诺方案 | 第43-44页 |
| ·零知识证明系统 | 第44-45页 |
| ·数据流 | 第45-48页 |
| 4 性能分析与测试 | 第48-57页 |
| ·环境配置 | 第48-49页 |
| ·测试方法 | 第49-51页 |
| ·生成测试应用程序 | 第49-50页 |
| ·启动测试脚本 | 第50-51页 |
| ·用例描述 | 第51-53页 |
| ·结果分析 | 第53-57页 |
| 结论 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 攻读硕士学位期间发表学术论文情况 | 第60-61页 |
| 致谢 | 第61-62页 |
