[논문 리뷰] An Incoercible E-Voting Scheme Based on Revised Simplified Verifiable Re-encryption Mix-nets

Shinsuke Tamura, Hazim Anas Haddad외 2명|arXiv (Cornell University)|2015. 12. 17.

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

한 줄 요약

이 논문은 개선된 단순화된 검증 가능한 재암호화 믹스넷(SVRM) 기반으로 강력한 익명성, 종단 간 검증 가능성, 공정성 및 강건성을 제공하는 비협력 가능한 전자 투표 체계를 제안한다. 지우기 가능한 상태의 투표 부스를 통합함으로써, 유권자가 강요를 당하더라도 투표 내용을 파악할 수 없도록 하되, 강요로 인해 기권을 당할 경우를 제외하고는 그러한 정보를 추출할 수 없도록 한다. 또한 부정확한 투표 처리가 발생하더라도 재검표 없이도 정확한 집계를 보장한다.

ABSTRACT

Simplified verifiable re-encryption mix-net (SVRM) is revised and a scheme for e-voting systems is developed based on it. The developed scheme enables e-voting systems to satisfy all essential requirements of elections. Namely, they satisfy requirements about privacy, verifiability, fairness and robustness. It also successfully protects voters from coercers except cases where the coercers force voters to abstain from elections. In detail, voters can conceal correspondences between them and their votes, anyone can verify the accuracy of election results, and interim election results are concealed from any entity. About incoercibility, provided that erasable-state voting booths which disable voters to memorize complete information exchanged between them and election authorities for constructing votes are available, coercer C cannot know candidates that voters coerced by C had chosen even if the candidates are unique to the voters. In addition, elections can be completed without reelections even when votes were handled illegitimately.

연구 동기 및 목표

• 기존 전자 투표 시스템에서 강요에 의한 투표 정보 유출 문제를 해결하기 위해, 투표 매입이나 강요를 통해 투표 정보를 추출할 수 있는 문제를 해결한다.
• 단순화된 검증 가능한 재암호화 믹스넷(SVRM) 구조를 개선하여 전자 투표의 개인정보 보호 및 검증 가능성을 향상시킨다.
• 강요 조건 하에서도 강요자가 유권자가 어떤 후보자에게 투표했는지 파악할 수 없도록 하되, 강요로 인한 기권의 경우를 제외한다.
• 부정확한 투표 처리가 발생하더라도 재검표 없이도 정상적인 투표 집계가 이루어지도록 하여 시스템의 강건성을 확보한다.
• 모든 핵심 투표 요구 조건을 충족하는 실용적이고 효율적이며 안전한 전자 투표 프레임워크를 제공한다.

제안 방법

• 저자들은 전자 투표 응용 분야에서의 보안성과 효율성을 향상시키기 위해 원래의 단순화된 검증 가능한 재암호화 믹스넷(SVRM)을 개선한다.
• 이 체계는 검증 가능한 재암호화를 활용하여 투표를 재배열하고 재암호화함으로써, 투표 집계 과정 중 투표 내용이 은폐된 상태를 유지한다.
• 유권자가 선거 당국과의 전체 통신 기록을 기억하거나 기록할 수 없도록 하는 지우기 가능한 상태의 투표 부스를 도입한다.
• 암호학적 증거를 사용하여 제3자가 공개적으로 투표의 무결성과 정확한 집계를 검증할 수 있도록 한다.
• 믹스넷 구조는 어떤 한 당국자도 투표를 유권자와 연결할 수 없도록 하여 익명성과 공정성을 유지한다.
• 부정확한 처리가 발생하더라도 재검표 없이도 투표가 완료될 수 있도록 하여 시스템의 강건성을 확보한다.

실험 결과

연구 질문

• RQ1 검증 가능한 재암호화 믹스넷을 개선하여 전자 투표 체계에서 비협력 가능성을 지원할 수 있는가?
• RQ2 지우기 가능한 상태의 투표 부스를 효과적으로 통합하여 강요 공격을 방지할 수 있는가?
• RQ3 개선된 SVRM 체계가 악성 환경 조건 하에서도 개인정보 보호 및 검증 가능성을 어느 정도 유지하는가?
• RQ4 부정확한 투표 처리가 발생하더라도 재검표 없이도 정확한 집계를 보장할 수 있는가?
• RQ5 강요자가 유권자의 선택을 파악할 수 없도록 하면서도 공정성과 강건성을 유지할 수 있는가?

주요 결과

• 지우기 가능한 상태의 투표 부스가 가용하다는 가정 하에 제안된 체계는 비협력 가능성을 성공적으로 달성하였으며, 강요로 인한 기권의 경우를 제외하고는 강요자가 유권자의 선택을 알 수 없도록 한다.
• 시스템은 종단 간 검증 가능성을 보장하여 누구나 최종 투표 결과의 정확성을 암호학적으로 검증할 수 있다.
• 모든 실체, 선거 당국자 포함, 믹스넷의 재배열 및 재암호화 메커니즘 덕분에 투표와 유권자를 연결할 수 없어 투표 익명성이 유지된다.
• 모든 실체, 선거 관리자 및 유권자 포함, 중간 결과가 모두 은폐되어 집계 과정 중 비밀 유지가 보장된다.
• 부정확한 투표 처리가 발생하더라도 시스템은 강건하게 작동하여 재검표 없이도 정상적인 투표를 완료한다.
• 개선된 SVRM 구조는 복잡성을 감소시키면서도 강력한 보안 보장을 유지하여 실용적 구현에 적합하다.