DRE 전자투표 시스템에 대한 안전성 비교 및 분석

Security and Performance Comparison of Voter-Verifiable E-voting Systems

전자투표를 실시함에 있어, 개표 결과의 정당성을 보장하기 위한 방식은 이미 오래 전부터 연구되어왔지만, 투표자 개개인의 투표 결과를 확신시켜주는 투표자 검증성 이 본격적으로 연구되기 시작한 것은 비교적 최근의 일이다. 전체 검증성 은 개표 결과의 정당성을 보장하는 것으로서, 1981년 Chaum에 의해 제안된 믹스넷(mix-net)을 주로 이용한다. 믹스넷은 준동형 암호화(homomorphic encryption) 방식 및 블라인드 서명(blind signature) 방식과 함께 온라인 투표 시스템을 구성하는 한 방법으로 사용되고 있지만, 국민 투표의 경우 온라인 투표 방식을 적용하기에는 현실적으로 한계가 있다. 이로 인해 최근 전자투표기를 신뢰할 수 있도록 투표자 검증성을 만족하는 방식에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 최근에 발표된 대표적인 영수증 기반 DRE 전자투표 시스템에 대해 살펴보고, 각 방식의 안전성과 효율성을 비교 분석한다.

Regarding electronic voting, there are lots of researches on how to satisfy the verifiability of the tabulation of an election so far. However, recently, voter-verifiability becomes more and more important in electronic voting. Universal verifiability, ensuring the correctness of the tabulation, is based on the mix-net proposed by D. Chaum in 1981. Though mix-net, as well as homomorphic encryption and blind signature, is used for on-line electronic voting system, on-line electronic voting system is not used for referendum due to lack of its privacy. Recently, therefore, voter-verifiability is widely discussed in order to make DRE trustworthy. In this paper, we survey the recent DRE voting systems based on paper receipt, analyze them, and compare with each other in terms of security and efficiency.