[논문 리뷰] Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election

Craig Burton, Chris Culnane외 1명|arXiv (Cornell University)|2015. 04. 27.

Internet Traffic Analysis and Secure E-voting참고 문헌 10인용 수 10

한 줄 요약

이 논문은 호주 비ct리아주 2014년 주 선거에서 실존적인 전자 투표 시스템인 vVote의 첫 번째 실전 배포를 보고한다. 이 시스템은 시각 장애나 부분 시력 장애가 있는 유권자가 익명성과 검증 가능성을 확보한 인터페이스를 통해 투표할 수 있도록 했으며, 공식 투표율은 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개 지구에 걸쳐 다수의 투표소에서 운영된 2주간의 조기 투표 기간 운영.

실험 결과

연구 질문

• RQ1 복잡한 주급 정치 선거에서 순위 투표와 대규모 후보자 수를 고려할 때 종단 간 검증 가능한 전자 투표 시스템을 실용적으로 구현할 수 있는가?
• RQ2 이러한 시스템은 투표 비밀 보장을 유지하면서도 유권자와 선거 관계자 모두가 감사 가능성을 확보할 수 있는가?
• RQ3 실제 조건에서 검증 가능한 전자 투표 시스템의 사용성은 전통적인 종이 투표와 비교해 어떻게 되는가? 특히 장애인 및 비영어권 유권자에게서는?
• RQ4 검증 기능이 유권자의 혼란도와 시스템에 대한 신뢰도에 어떤 영향을 미치는가?
• RQ5 검증 가능한 전자 투표 시스템은 실제 선거 환경에서 높은 공식 투표율과 운영 효율성을 달성할 수 있는가?

주요 결과

• vVote 시스템은 2014년 비ct리아주 주 선거에서 총 1,121건의 전자 투표를 성공적으로 수집했으며, 투표소 수가 적은 상황에서도 2010년 전자 투표 수를 초월했다.
• 전자 투표의 공식 투표율은 98.13%였으며, 같은 선거에서의 종이 투표 공식 투표율 95.7%보다 유의미하게 높았다.
• 투표 세션 평균 소요 시간은 9.5분(570.4초)이었고, 가장 긴 세션은 1시간을 약간 넘는 3,895.8초였으며, 대부분의 유권자에게 뛰어난 사용성 확보됨.
• 시각 장애 및 부분 시력 장애 유권자들이 법적 선거에서 처음으로 완전히 익명성과 검증 가능성을 확보한 투표를 할 수 있었으며, 이는 시스템의 접근성 성공을 입증한다.
• 검증 수령서에 대한 유권자 혼란 사례는 총 6건 뿐이었고, 모두 만족스럽게 해결되어 검증 기능이 사용성에 심각한 영향을 주지 않았음을 시사한다.
• 암호학적 수령서와 공개 블라인드 보드 게시를 통해 소프트웨어 독립성과 검증 가능성을 확보했으며, 결과에 영향을 주는 조작 또는 감지되지 않은 소프트웨어 오류의 증거는 없었다.