文档介绍：安徽大学
硕士学位论文
无收据电子投票协议的研究
姓 名：徐杰
申请学位级别：硕士
专 业：计算机软件与理论
指导教师：仲红
II
摘要
I
满足无收据性电子投票协议的研究
摘 要
电子投票允许人们通过网络就某一议题进行投票来表达自己的看法或是意
愿。电子投票以其方便、高效、低廉的成本，自提出之日其就引起了人们极大
的兴趣。随着今天网络的发展与普及，尤其是新密码学方法的引入，为电子投
票的发展带来了新的发展契机，并为其注入了新的活力。
自从 1981 年 Chaum[1]提出了电子投票的概念后，经历了接近三十年的发展。
目前的电子投票系统己经能够满足或接近满足实际投票中过程中的绝大部分要
求，比如保密性，唯一性，不可重复性等等，但是其中的某些安全特性还没有
得到理想的解决，投票中的贿选就是其中一个突出问题。于是在 1994 年由
和 [2]提出了无收据性的概念，用来解决投票中的贿选和强迫
投票的问题，目前关于电子投票的研究多数集中在这个性质上。
无收据性是电子投票系统中一个十分重要的安全性质，它要求投票系统中
任何人不能生成关于选票内容的证据，以防止投票过程中强迫投票和选票的买
卖，这对选举结果的公正与否具有决定性的意义，因此对其的研究具有重要的
现实意义，本文即是在此基础上产生的。
本文利用指定验证者证据设计出一种电子投票协议来实现电子投票系统中
的无收据性，通过再加密和 1-out-of-L 证据在实现无收据性的同时实现了协议的
可验证性，其主要工作有如下几点：
1．分析了 Benaloh-Tuinstra[2]，Byoungchoen Lee ,Colin Boyd [3]和 Emmanuel
Dall‘Olio[4]协议中存在的问题和不足，并对 Byoungchoen Lee 和 Colin Boyd 给出
的使用智能卡的协议给出了证明，指出其在投票人配合的情况下并不满足无收
据性。
2．利用指定验证者证据实现无收据性。协议利用了指定验证者证据只对指
定人员有效的特点，设计出让投票人生成了任意候选项的证据，从而使第三方
无法确信投票人对选票出示的证据，即使投票人向第三方出示了他的私钥也无
法使其相信，借此实现投票协议中的无收据性，防止在投票过程中出现的强迫
投票和贿选情形的产生。
3．利用 MIX-NET 混合网，再加密和 1-out-of-L 证据实现协议的可验证性。
II
摘要
选举机构将收到的选票通过 MIX-NET 混合网发送给计票机构，计票机构对收到
的选票进行再加密然后公布，投票人可以通过 1-out-of-L 证据对其所投出的选票
进行验证，而最终的计票结果将通过（t,n）门限协议实现，保证了投票人能够
实现对选票及选举结果的验证，进而实现投票的可验证性。
4．协议避免了 Emmanuel Dall‘Olio 协议中对第三方的依赖。Emmanuel
Dall‘Olio 协议需要可信的第三方在出现争议时以明文的形式接收选票进行公正，
而本协议在生成选票是就对选票内容进行加密，且解密密钥被 n 个计票机构分
享，并