[論文レビュー] Estonian Voting Verification Mechanism Revisited

Koksal Mus, Mehmet Sabi̇r Kiraz+2 more|arXiv (Cornell University)|Dec 2, 2016

Advanced Malware Detection Techniques参考文献 9被引用数 6

ひとこと要約

この論文は、Estoniaのi-votingシステムのプライバシー保護型検証メカニズムを提案しており、検証デバイスが改ざんされた場合でさえも、投票者の選択を学習しないようにする。対称暗号を用いて検証パラメータを隠し、投票者が検証コードの短いランダムな接尾部のみを確認できるようにすることで、プライバシーを確保しながらも、検証ごとにm回の追加対称復号化で効率性を維持する。

ABSTRACT

After the Estonian Parliamentary Elections held in 2011, an additional verification mechanism was integrated into the i-voting system in order to resist corrupted voting devices, including the so called Student's Attack where a student practically showed that the voting system is indeed not verifiable by developing several versions of malware capable of blocking or even changing the vote. This mechanism gives voters the opportunity to verify whether the vote they cast is stored in the central system correctly. However, the verification phase ends by displaying the cast vote in plain form on the verification device. In other words, the device on which the verification is done learns the voter's choice. In this work, our aim is to investigate this verification phase in detail and to point out that leaking the voter's choice to the verification application may harm the voter privacy. Additionally, when applied in a wide range, this would even compromise the fairness and the overall secrecy of the elections. In this respect, we propose an alternative verification mechanism for the Estonian i-voting system to overcome this vulnerability. Not only is the proposed mechanism secure and resistant against corrupted verification devices, so does it successfully verify whether the vote is correctly stored in the system. We also highlight that our proposed mechanism brings only symmetric encryptions and hash functions on the verification device, thereby mitigating these weaknesses in an efficient way with a negligible cost. More concretely, it brings only $m$ additional symmetric key decryptions to the verification device, where $m$ denoting the number of candidates. Finally, we prove the security of the proposed verification mechanism and compare the cost complexity of the proposed method with that of the current mechanism.

研究の動機と目的

• 検証デバイスが改ざんされた場合に、プレーンテキストで投票者の実際の投票を学習してしまうEstoniaのi-voting検証メカニズムにおける深刻なプライバシー脆弱性を特定すること。
• 検証デバイスが改ざんされた場合に、特にデバイスが投票者自身が所有・制御する状況で、投票者のプライバシーが漏洩するリスクを軽減すること。
• 検証デバイスが改ざんされても投票プライバシーを保証する新しい検証メカニズムを設計すること。追加のポストチャネルに依存しないこと。
• 新しいメカニズムが強固なセキュリティ保証を維持しながら、実用的かつ効率的であること。
• 提案された解決策が、最小限の計算オーバーヘッドでプライバシーと検証可能性を両立できることを示すこと。

提案手法

• 提案されたメカニズムは、対称暗号を用いて検証パラメータを生成し、検証デバイスが実際の投票を学習しないようにする。
• 各検証パラメータは、投票者がランダムに生成する左部分と、選挙当局が提供する右部分に分割され、投票者に表示されるのは右部分のみである。
• 投票者は、検証コードの最後の32ビット（4文字の可 printable 文字）のみを確認する。これはすべての候補者に対して区別不能であり、プライバシーを保護する。
• 検証プロセスは、ハッシュ関数と対称鍵復号化を用いて、正しい投票が検証パラメータに暗号的に束縛されることを保証する。
• 投票者認証には1回の非対称暗号化を、検証ごとにm回の対称復号化を用いる。これにより、検証デバイスへの信頼を著しく削減する。
• プロトコルは、検証デバイスが改ざんされた場合でも、検証パラメータの同一性が保たれ、どの候補者が選ばれたかを特定できないように設計されている。

実験結果

リサーチクエスチョン

• RQ1 改ざんされた検証デバイスがプレーンテキストで投票者の実際の投票を学習できる、Estoniaのi-voting検証メカニズムは攻撃可能か？
• RQ2 検証デバイスが敵対者によって完全に制御されても、投票プライバシーを保証できる検証メカニズムは設計可能か？
• RQ3 検証デバイスに投票を漏洩させず、検証可能性を維持するにはどうすればよいか？ ただし、効率的かつ使いやすい解決策を求める。
• RQ4 クライアント側検証モデルにおいて、プライバシー保護型検証を実現するための最小限の暗号的オーバーヘッドは何か？
• RQ5 ユーザーの認知的負荷を軽減しつつ、強固なプライバシー保証を確保できるように、検証プロセスを最適化できるか？

主な発見

• 現在のEstoniaのi-voting検証メカニズムは、検証デバイスに投票者の実際の投票が漏洩しており、デバイスが投票者自身が所有している場合ですらプライバシーを侵害する。
• 提案されたメカニズムは、対称暗号を用いて検証パラメータを隠すことで、検証デバイスへの投票情報の漏洩を完全に防止する。
• システムは、検証者がすべての検証パラメータを区別できないようにし、デバイスが改ざんされても投票プライバシーを保証する。
• メカニズムは、候補者数mに等しい追加の対称復号化回数のみを検証デバイスで要するため、計算的に効率的である。
• Ghost Click攻撃に対して安全であり、追加のポストチャネル通信に依存しないため、実用性が向上する。
• 各検証パラメータの最後の32ビット（4文字の可 printable 文字）のみを表示することで、ユーザーの使いやすさが向上し、感覚的に正しい投票を確認できる一方で、機密データを露呈しない。