Skip to main content
QUICK REVIEW

[论文解读] Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election

Craig Burton, Chris Culnane|arXiv (Cornell University)|Apr 27, 2015
Internet Traffic Analysis and Secure E-voting参考文献 10被引用 10
一句话总结

本文介绍了端到端可验证电子投票系统 vVote 在澳大利亚维多利亚州 2014 年州级政治选举中的首次真实世界部署。该系统使盲人和部分视力障碍选民能够使用可访问界面秘密且可验证地投票,正式选票率达到 98.13%,并在拥有 1,121 张选票的高风险、复杂偏好投票环境中展示了实际可用性和安全性。

ABSTRACT

The November 2014 Australian State of Victoria election was the first statutory political election worldwide at State level which deployed an end-to-end verifiable electronic voting system in polling places. This was the first time blind voters have been able to cast a fully secret ballot in a verifiable way, and the first time a verifiable voting system has been used to collect remote votes in a political election. The code is open source, and the output from the election is verifiable. The system took 1121 votes from these particular groups, an increase on 2010 and with fewer polling places.

研究动机与目标

  • 开发并部署一个用于州级政治选举的安全、可验证且可访问的电子投票系统。
  • 解决在拥有大量候选人的复杂偏好投票系统中实现端到端可验证性的挑战。
  • 在保障选票秘密性和软件独立性的同时,确保残障人士和非英语使用者的可用性。
  • 评估在真实世界、高风险选举环境中可验证电子投票的实际可行性和用户体验。
  • 证明可验证电子投票能够以安全且对所有选民(包括残障人士)可用的方式实施。

提出的方法

  • 将 Prêt à Voter 分离选票模型改编为实用的电子系统,采用随机化候选人名单和可验证收据机制。
  • 采用客户端-服务器架构,投票通过密码学签名并发布到公共公告板以实现可审计性。
  • 集成无障碍功能,包括音频支持、屏幕阅读器兼容性以及多语言支持,以服务盲人、部分视力障碍者及非英语使用者。
  • 设计系统以确保软件独立性:未被检测到的软件错误无法改变选举结果。
  • 使用开源代码以实现透明度,并使选举机构和公众能够独立验证。
  • 在 96 个选区的多个投票站开展为期两周的提前投票,提供电子投票服务。

实验结果

研究问题

  • RQ1能否在拥有偏好投票和大量候选人的复杂州级政治选举中实际部署端到端可验证的电子投票系统?
  • RQ2此类系统能否在保障选票秘密性的同时,为选民和选举官员提供可验证的审计能力?
  • RQ3在真实世界条件下,可验证电子投票系统的可用性与传统纸质选票相比如何,特别是对残障人士和非英语使用者?
  • RQ4可验证功能对选民困惑程度和对系统信任度有何影响?
  • RQ5可验证电子投票系统能否在真实选举环境中实现高正式选票率和高效运作?

主要发现

  • vVote 系统在 2014 年维多利亚州州选举中成功收集了 1,121 张电子选票,尽管投票站数量更少,但电子选票数量仍超过 2010 年的电子选票数。
  • 电子选票的正式选票率为 98.13%,显著高于同一选举中纸质选票的 95.7% 正式选票率。
  • 完成一次投票会话的平均时间为 9.5 分钟(570.4 秒),最长会话仅超过一小时(3,895.8 秒),表明对大多数选民而言可用性良好。
  • 盲人和部分视力障碍选民首次在法定选举中能够秘密且可验证地投票,证明了该系统在无障碍方面的成功。
  • 仅报告了六起关于验证收据的选民困惑案例,全部得到满意解决,表明可验证功能并未显著影响可用性。
  • 通过密码学收据和公共公告板发布,系统实现了软件独立性和可验证性,未发现篡改或未被检测到的软件错误影响结果的证据。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。