[論文レビュー] E-voting in Estonia

Dylan Clarke, Tarvi Martens|arXiv (Cornell University)|Jun 28, 2016

Internet Traffic Analysis and Secure E-voting参考文献 5被引用数 9

ひとこと要約

この論文は、2005年から運用されているエストニアの画期的なインターネット投票制度を検討している。この制度は、国民証明書とセキュアなハードウェアを介して、遠隔地から投票を可能にする。複数回の全国的選挙において十数年間の運用実績があり、高い投票率、強い公共の信頼、スケーラビリティを示しているが、セキュリティの前提条件、実装上の欠陥、監査の透明性について、継続的な懸念が呈されている。

ABSTRACT

Estonia has one of the most established e-voting systems in the world. Internet voting - remote e-voting using the voter's own equipment - was piloted in 2005 with the first real elections using e-voting being conducted the same year and has been in use ever since. We detail this internet voting system and discuss how it was developed.

研究の動機と目的

• エストニアのインターネット投票制度の設計、実装、実際の全国的選挙における長期的パフォーマンスを分析すること。
• このシステムの整合性を支えるセキュリティの前提条件、技術的対策、監査メカニズムを評価すること。
• 批判や法的挑戦への反応を含め、この制度に対する一般および制度的信頼を評価すること。
• クライアント側の攻撃に対する対策を含め、技術的アーキテクチャの進化、検証メカニズムを検討すること。
• 10年間にわたり、複数の選挙種別においてインターネット投票が投票率と満足度に与えた影響を調査すること。

提案手法

• d’Hondt法を用いた、地方および全国レベルの2段階にわたる、多段階の議席配分システムの分析。
• 国民証明書と暗号プロトコルが、個人用端末を介した認証済みの遠隔投票を可能にする役割を検証すること。
• 手続的・技術的対策、特にクライアント側の検証ツールとログベースの監査メカニズムのレビュー。
• 2013年のセキュリティ批判、特にクライアント側およびサーバー側の攻撃ベクトルと、公式な対応の評価。
• 2005年から2015年の選挙データを用いて、インターネット投票の採用傾向、システムの信頼性、大規模運用におけるパフォーマンスを評価。
• 公式発表、独立したセキュリティ評価、選挙監視レポート（例：OSCE/ODIHR）を比較し、信頼性と透明性を評価。

実験結果

リサーチクエスチョン

• RQ1 2005年の導入以降、エストニアのインターネット投票制度は技術的および手続的面でどのように進化したか。
• RQ2 インターネット投票の機密性、整合性、検証可能性を保証するための主な技術的および手続的対策は何か。
• RQ3 インターネット投票は、全国的選挙における投票率と公共の信頼に、どの程度影響を与えたか。
• RQ4 セキュリティ上の脆弱性や外部からの批判に対して、選挙当局はどのように対応したか。その対応の妥当性は何か。
• RQ5 現在のシステムにおけるログベース監査とクライアント側検証の限界とリスクは何か。

主な発見

• エストニアにおけるインターネット投票の採用率は、初回の地方選挙（2005年）で1.9％から、第3回（2013年）で21.2％に上昇し、2015年の議会選挙では30.5％の有権者がe投票を利用した。
• 2011年の議会選挙では140,846通のインターネット投票が投じられ、システムのスケーラビリティと高負荷下での信頼性が実証された。
• 2011年に無効な候補者に投票が行われる軽微な障害が発生したが、10年間の運用期間中に大規模な障害や情報漏洩は観察されなかった。
• 2011年のOSCE/ODIHRミッションは、インターネット投票を含む全体のプロセスに強い信頼を示したが、セキュリティに関する法的挑戦は根拠がないとされた。
• 2013年のセキュリティ批判では、手続的管理、運用セキュリティ、コードの透明性にリスクが指摘されたが、公式な対応では、すべての攻撃ベクトルが是正されたとされた。
• このシステムは、リーグィコーグ選挙では $f(n) = (1+n)^{0.9}$、欧州議会および地方選挙では $f(n) = 1+n$ という修正関数を用いたd’Hondt法を採用しており、安定した議席配分を実現する比例代表制を保証している。