[论文解读] Evaluating e-voting: theory and practice

Wouter Bokslag, Manon de Vries|arXiv (Cornell University)|Feb 8, 2016

Internet Traffic Analysis and Secure E-voting参考文献 10被引用 7

一句话总结

本文通过分析电子投票系统（包括现场DRE和互联网投票）的益处、风险及其与民主原则的符合程度，评估了电子投票系统。结合三个现实案例研究及高级密码学技术（如端到端可验证性和同态加密），本文得出结论：当前电子投票系统无法确保可验证性、抵抗胁迫能力以及透明度，因此作者认为在民主选举中，其风险超过益处。

ABSTRACT

In the Netherlands as well as many other countries, the use of electronic voting solutions is a recurrent topic of discussion. While electronic voting certainly has advantages over paper voting, there are also important risks involved. This paper presents an analysis of benefits and risks of electronic voting, and shows the relevance of these issues by means of three case studies of real-world implementations. Additionally, techniques that may be employed to improve upon many of the current systems are presented. We conclude that the advantages of E-voting do not outweigh the disadvantages, as the resulting reduced verifiability and transparency seem hard to overcome.

研究动机与目标

• 评估电子投票系统在民主选举中的理论与实际风险和益处。
• 通过三个详细案例研究，评估电子投票在现实世界中的实施情况。
• 检验端到端可验证性和同态加密等密码学技术是否能缓解系统性漏洞。
• 确定电子投票（尤其是互联网投票）是否能够维护核心民主原则，如秘密投票、可验证性和抵抗胁迫能力。
• 最终判断电子投票的优势是否足以证明其在高风险民主进程中的采用是合理的。

提出的方法

• 使用欧洲委员会的五项基本民主原则作为评估标准，分析电子投票系统。
• 评估三种现实世界实施案例：荷兰DRE系统、爱沙尼亚互联网投票系统和Helios互联网投票系统。
• 应用端到端可验证性、安全多方计算和同态加密等密码学技术，以增强透明度和完整性。
• 通过威胁建模评估系统安全性，包括恶意软件、拒绝服务攻击以及互联网投票期间的胁迫风险。
• 在Helios系统中使用公共公告板，以实现加密选票的公开审计并验证计票正确性。
• 将系统特性与核心要求进行对比：透明度、选票秘密性、唯一性、选民资格、可验证性、可访问性、抵抗胁迫能力以及可用性。

实验结果

研究问题

• RQ1 电子投票系统在多大程度上维护了秘密性、可验证性和抵抗胁迫能力等核心民主原则？
• RQ2 现实世界中的电子投票实施（如荷兰DRE系统和爱沙尼亚互联网投票）在实践中与理论理想相比表现如何？
• RQ3 端到端可验证性和同态加密等密码学技术能否有效缓解互联网投票系统中的风险？
• RQ4 互联网投票系统中的关键漏洞是什么，特别是与胁迫、恶意软件和拒绝服务攻击相关的问题？
• RQ5 电子投票在计票速度提升和可访问性改善方面的益处，是否足以抵消其对选举完整性和公众信任造成的风险？

主要发现

• 电子投票并未显著降低成本；估算显示其甚至可能比纸质选举更昂贵。
• 尽管电子投票可加快计票速度并减少纸张浪费，但并未消除无效选票的风险。
• 互联网投票虽提高了可访问性，但引入了严重风险，包括胁迫、恶意软件干扰以及拒绝服务攻击。
• Helios系统通过公共公告板实现了端到端可验证性和透明度，但无法防止胁迫，也无法在分布式拒绝服务攻击下保证可用性。
• 即使采用高级密码学技术，电子投票系统的复杂性也使得普通选民无法验证选举完整性，从而削弱了公众信任。
• 本文结论认为，电子投票的益处无法超过其风险，尤其是由于在实践中确保可验证性、秘密性和抵抗胁迫能力存在不可消除的挑战。