[논문 리뷰] Evaluating e-voting: theory and practice

Wouter Bokslag, Manon de Vries|arXiv (Cornell University)|2016. 02. 08.

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 시스템, 에스토니아 인터넷 투표 시스템, 헬리오스 인터넷 투표 시스템을 포함한 세 가지 실제 구현 사례를 평가한다.
• 종단 간 검증, 안전한 다중 당사자 계산, 동형 암호화와 같은 암호 기법을 적용하여 투명성과 무결성을 향상시킨다.
• 멀웨어, 서비스 거부 공격, 인터넷 투표 중 강압 위험 등을 포함한 위협 모델링을 통해 시스템 보안을 평가한다.
• 헬리오스 시스템에서 공개 보드를 활용해 암호화된 투표를 공개적으로 감시하고 계산 정확성을 검증한다.
• 투표의 투명성, 투표 비밀 보장, 유일성, 투표 자격, 검증 가능성, 접근성, 강압에 대한 저항성, 가용성 등의 핵심 요구사항과 시스템 특성을 비교한다.

실험 결과

연구 질문

• RQ1 전자 투표 시스템이 비밀 투표, 검증 가능성, 강압에 대한 저항성과 같은 핵심 민주적 원칙을 어느 정도 준수하는가?
• RQ2 네덜란드 DRE 및 에스토니아 인터넷 투표와 같은 실제 전자 투표 구현 사례가 이론적 이상과 비교해 실질적으로 얼마나 잘 작동하는가?
• RQ3 종단 간 검증 및 동형 암호화와 같은 암호 기법이 인터넷 투표 시스템의 위험을 효과적으로 완화할 수 있는가?
• RQ4 특히 강압, 멀웨어 간섭, 서비스 거부 공격에 있어 인터넷 투표 시스템의 주요 취약점은 무엇인가?
• RQ5 전자 투표의 더 빠른 집계 및 접근성 향상의 이점이 선거 무결성과 대중 신뢰도에 미치는 위험을 상쇄할 수 있는가?

주요 결과

• 전자 투표는 비용을 크게 줄이지 못하며, 추정에 따르면 종이 기반 선거보다 더 비쌀 수 있다.
• 전자 투표는 더 빠른 투표 집계와 종이 낭비 감소를 가능하게 하지만, 무효 투표의 위험을 완전히 제거하지 못한다.
• 인터넷 투표는 접근성을 높이지만 강력한 위험을 수반하며, 강압, 멀웨어 간섭, 서비스 거부 공격 등의 위험이 있다.
• 헬리오스 시스템은 공개 보드를 통해 종단 간 검증과 투명성을 제공하지만, 강압에 대한 방지나 DDoS 공격 상황에서의 가용성 확보에는 실패한다.
• 고도의 암호 기법이 적용된다고 해도 전자 투표 시스템의 복잡성 때문에 평균 유권자가 선거 무결성을 검증하기 어렵고, 이는 대중 신뢰를 약화시킨다.
• 논문은 전자 투표의 이점이 위험을 초월하지 못하며, 특히 검증 가능성, 비밀 보장, 강압에 대한 저항성 확보의 실질적 불가능성으로 인해 그러하다고 결론 내린다.