题目：基于Mixnet 的广泛可验证的电子选举协议

选举是社会形成共识的一种基础行为.在一定的条件下, 通过选票来表达选民意愿，从而揭示出特定群体关于某一事件所持主要观点的一种有效途径.选举对人类社会实现民主进步，势必将扮演者越来越重要的角色.
但是随着选举参加人数和所需选区的增加, 用非电子选举形式进行的大规模选举变得很烦琐.同时对于选举的安全、效率等问题, 非电子选举形式也存在着诸多的不足.而电子选举在选举中的信息传输、安全、效率等方面具有无法比拟的便利条件. 并且大大节省了选举所需的人力、物力和财力.
广泛可验证性是电子选举安全性的一个重要方面.由于选票是表达选民意的凭证.且选民和选票之间的联系必须保密, 以防止选民在表达选举意愿时受到威胁或贿赂；但是同时，选举的过程必须得到验证，以防止不正确的选举结果和不正确的选票内容出现.具体说，广泛可验证是指任何人都能验证选举是否被正确执行，以及选举结果有没有被篡改.但是，整个过程任何人都无法将选民与它所投的选票相联系.
     本文主要讨论基于Mixnet技术的广泛可验证性电子选举协议， 该类协议由m个按一定顺序组成的服务器作为选举中心.选举中心结合安全的密码技术，通过一定的混洗方式，打乱选票的顺序，从而提供选举所需的安全性质.与其它类型的电子选举协议相比，具有更适于大规模选举等优势.
本文介绍了电子选举产生的背景, 电子选举的基本要求和电子选举的主要流程.电子选举协议涉及的数学和密码学方面的相关知识, 其中包括数论、公钥密码学和代数学知识.
本文介绍了电子选举协议的其它相关技术, 包括Mixnet、同态加密、电子公告牌、信道、零知识证明、时间戳技术和选举的基本框架.详细论述了基于Mixnet的电子选举协议的框架，将第一个基于此技术的电子选举协议Chaum-82协议和Chaum-88电子选举协议，以及安全性较高的电子选举协议-FOO和PIK电子选举协议.作了论述.
论文将基于Mixnet技术的广泛可验证的电子选举协议作为重点, 详细论述了具有广义可验证性性质的Nef协议、GCB02协议和Gro03协议进行了总结.
本文所取得的主要研究成果如下：
1 本文结合相关的零知识证明方案[36] 及Camenisch-stadler方案[40]，结合多项式的性质设计了一个可实现群成员动态删减的群签名方案[44]，该方案满 足上述的大多数安全要求.
2    基于ElGamal和RSA加密体制，利用求模或幂乘求模运算，设计了一个在一般网络中都可安全进行，并且系统有一定的容错能力，选举只需6轮的比较适用于小规模的电子选举协议.
3     以盲签名为主要技术，结合时间戳技术，设计了一种适合于较大规模的电子选举协议.该协议基本满足安全选举要求，所需的参数较少，效率较高，适合于实际应用.