| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 引言 | 第9-12页 |
| ·研究背景 | 第9页 |
| ·研究现状及本文贡献 | 第9-11页 |
| ·本文的章节安排 | 第11-12页 |
| 第二章 背景知识 | 第12-18页 |
| ·电子投票系统的目标与要求 | 第12-13页 |
| ·电子投票系统的目标 | 第12页 |
| ·电子投票系统的安全性要求 | 第12-13页 |
| ·电子投票系统的实用性要求 | 第13页 |
| ·电子投票的实现方法 | 第13-15页 |
| ·基于盲签名的投票方案 | 第13-14页 |
| ·基于mix-net 的投票方案 | 第14-15页 |
| ·基于同态加密的投票方案 | 第15页 |
| ·无收据的电子投票协议 | 第15-18页 |
| ·基本概念 | 第15-16页 |
| ·研究现状 | 第16-18页 |
| 第三章 密码学基础 | 第18-24页 |
| ·求离散对数问题 | 第18页 |
| ·ElGamal 公钥加密体制 | 第18-19页 |
| ·门限公钥加密方案 | 第19-21页 |
| ·门限秘密共享方案 | 第19页 |
| ·门限ElGamal 加密方案 | 第19-21页 |
| ·同态加密方案 | 第21-22页 |
| ·零知识证明 | 第22页 |
| ·指定验证人的知识证明 | 第22-24页 |
| 第四章 知识证明协议：EKPP、VKPP 和DKPP | 第24-31页 |
| ·概念和定义 | 第24-25页 |
| ·加密知识证明协议 | 第25-27页 |
| ·合法性知识证明协议 | 第27-29页 |
| ·相异性知识证明协议 | 第29-31页 |
| 第五章 使用智能卡的无收据的安全电子投票方案 | 第31-47页 |
| ·Hirt-Sako 方案分析 | 第31-32页 |
| ·协议模型 | 第32-38页 |
| ·投票协议综述 | 第32-35页 |
| ·实体结构 | 第35-36页 |
| ·通信模型 | 第36-37页 |
| ·选票编码 | 第37页 |
| ·参数和记号 | 第37-38页 |
| ·系统假设 | 第38页 |
| ·投票协议的信息流程 | 第38-41页 |
| ·安全性和实用性分析 | 第41-44页 |
| ·安全性分析 | 第41-43页 |
| ·实用性分析和评价 | 第43-44页 |
| ·性能分析和比较 | 第44-45页 |
| ·通信和计算复杂度分析 | 第44页 |
| ·和Hirt-Sako 方案性能上的比较 | 第44-45页 |
| ·实验与结果分析 | 第45-46页 |
| ·本方案的改进和优点 | 第46页 |
| ·本章小结 | 第46-47页 |
| 第六章 总结和展望 | 第47-49页 |
| ·本文工作的总结 | 第47-48页 |
| ·需要进一步研究的问题 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-52页 |
| 作者简介 | 第52页 |