[論文レビュー] A practical multi-party computation algorithm for a secure distributed online voting system

Juanjo Bermúdez|arXiv (Cornell University)|Mar 14, 2016

Cryptography and Data Security参考文献 1被引用数 4

ひとこと要約

本論文は、有権者を小さなクラスタに分割することで、公開サーバーに機密データを保存しない安全で分散型のオンライン投票システムの実用的マルチパーティ計算（MPC）アルゴリズムを提案する。この方法により、外部のハッカーおよび悪意ある当局者に対する強いセキュリティを確保し、特定の暗号Primitiveに依存せず、被害が発生しても従来のシステムよりも全体的なリスクが低くなる。

ABSTRACT

We present an online voting architecture based on partitioning the election in small clusters of voters and using a new Multi-party Computation algorithm for obtaining voting results from the clusters. This new algorithm has some practical advantages over other previously known algorithms and isn't bound to any specific cryptographic concept; so it can be adapted to future cryptographic exigencies. Compared with other online voting technologies, we see that this new architecture is less vulnerable to hacker attacks and attacks from dishonest authorities, given that no sensitive information is stored in any public server and there is no need for any trustee to safeguard the legality of the election process. Even in case of an attack succeeding, the risks associated with the overall election are far lower than with any other voting system. This architecture can also be combined with any other voting system, inheriting advantages from both systems.

研究の動機と目的

• 外部攻撃および不正な当局者による内部脅威に対して耐性のあるスケーラブルで安全なオンライン投票システムの設計。
• 選挙の整合性を保証するための信頼できる第三者または受託者を排除すること。
• 下位の暗号的仮定に依存しないマルチパーティ計算プロトコルの開発。これにより将来の適応性を確保する。
• 公開サーバーに機密情報を保存しないことで、データ漏洩のリスクを最小限に抑えること。
• 既存の投票技術と相互運用可能でありながら、セキュリティを強化できるシステムの構築。

提案手法

• 潜在的な侵害の影響を制限するために、有権者を小さな隔離されたクラスタに分割する。
• 有権者の個人投票を露呈せずに、クラスタレベルのデータから選挙結果を計算するための新規マルチパーティ計算アルゴリズムを採用する。
• MPCプロトコルにより、最終的な集計結果のみが公開され、情報理論的セキュリティによって有権者のプライバシーが保護される。
• アーキテクチャが公開サーバーに機密データを保存しないことで、攻撃表面が削減される。
• プロトコルが特定の暗号Primitiveに依存しないため、進化する暗号基準と統合可能である。
• ハイブリッドデプロイメントをサポートし、他の投票システムと統合することで、それらの利点を引き継げる。

実験結果

リサーチクエスチョン

• RQ1 信頼できる第三者に依存せずに、データの外部からの持ち出しを防ぎ、有権者のプライバシーを確保する分散型オンライン投票システムは、どのように設計できるか？
• RQ2 分散型クラスタから安全に選挙結果を計算するマルチパーティ計算プロトコルは、下位の暗号的仮定に依存しない形で、どのように実現できるか？
• RQ3 個々のクラスタが攻撃を受ける場合に、システム全体の危険性を最小限に抑える方法は何か？
• RQ4 提案されたアーキテクチャは、既存の投票システムとどのように組み合わせて、全体のセキュリティを強化できるか？
• RQ5 実世界のオンライン投票において、クラスタベースのMPCを使用する場合の実用的性能とセキュリティのトレードオフは何か？

主な発見

• 機密データが公開サーバーに保存されないことで、攻撃表面が顕著に削減され、強力なセキュリティ保証が達成される。
• MPCアルゴリズムにより、個人の投票が露呈されないままに集計が検証可能となり、有権者のプライバシーが保たれる。
• アーキテクチャは攻撃に対してレジリエントである。攻撃者がクラスタを侵害しても、データの分離により全体の選挙リスクは低 remain する。
• システムの設計は特定の暗号Primitiveに依存しないため、必要に応じて将来のより安全なアルゴリズムへの移行が可能である。
• 他の投票メカニズムと組み合わせられ、それらの利点を引き継ぎつつ、分散化とMPCによる強化されたセキュリティを提供する。
• 特許出願中（WO 2015193524 A1）であり、提案手法の新規性と実用的適用可能性が示されている。