[論文レビュー] Multimode Control Attacks on Elections

Piotr Faliszewski, Edith Hemaspaandra+1 more|arXiv (Cornell University)|Jul 11, 2010

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

ひとこと要約

本稿は、選挙におけるマルチモード制御攻撃の統一的枠組みを提示する。攻撃者は、投票者や候補者の追加・削除といった複数の標準的制御タイプを統合した戦略を採用する。多くの一般的な投票制度において、こうした多方面攻撃は多項式時間で計算可能であることが示され、個々の要素が独立してNP困難であっても、統合された攻撃はしばしば効率的に解けることを示している。

ABSTRACT

In 1992, Bartholdi, Tovey, and Trick opened the study of control attacks on elections---attempts to improve the election outcome by such actions as adding/deleting candidates or voters. That work has led to many results on how algorithms can be used to find attacks on elections and how complexity-theoretic hardness results can be used as shields against attacks. However, all the work in this line has assumed that the attacker employs just a single type of attack. In this paper, we model and study the case in which the attacker launches a multipronged (i.e., multimode) attack. We do so to more realistically capture the richness of real-life settings. For example, an attacker might simultaneously try to suppress some voters, attract new voters into the election, and introduce a spoiler candidate. Our model provides a unified framework for such varied attacks, and by constructing polynomial-time multiprong attack algorithms we prove that for various election systems even such concerted, flexible attacks can be perfectly planned in deterministic polynomial time.

研究の動機と目的

• マルチモード制御攻撃のモデル化と複雑性の分析。攻撃者が、投票者の追加や候補者の削除といった複数の標準的制御行動を1つの戦略に統合する。
• 個々にNP困難である可能性のある複数の攻撃タイプを組み合わせた場合、計算的により困難な問題になるのか、それとも依然として扱いやすいのかを調査する。
• 現在のモデル（例えば賄賂や操作）を包含する統一的枠組みを提供し、現実世界の選挙干渉をより現実的にモデル化可能にする。
• いくつかの自然な投票制度において、複雑な多方面攻撃が決定的多項式時間で解けることを示す。
• 個々の脆弱性がマルチモード制御下で統合され、より強力な統一的脆弱性を形成することを示し、既存の脆弱性結果を強化する。

提案手法

• 標準的制御タイプ（例：AC、AV、DC、DV、BV）および賄賂を任意に組み合わせられるマルチモード制御攻撃の形式的モデルを提案する。
• プライラリティ、コンドルセ、コペランド、承認、マクシミン投票制度におけるマルチモード制御攻撃を解く多項式時間アルゴリズムを導入する。
• 候補者の数をパラメータとして固定パラメータ探索的 tractability (FPT) 技法を用い、全マルチモード制御（AC+DC+AV+DV+BV）が広いクラスの制度においてFPTであることを示す。
• 動的計画法と構成的アルゴリズムを用い、計算複雑性を多項式時間以上に増加させることなく、複数の攻撃方向に最適な戦略を計画する。
• 攻撃者が空白票の操作者に対する好みを設定できるようにすることで、操作を含むフレームワークを拡張する。
• 還元に基づく証明戦略を用い、個々の攻撃方向が脆弱であっても、結合攻撃に対しては依然として抵抗性を示す制度の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 プライラリティ、コンドルセ、コペランド 0.5、承認、マクシミン制度といった一般的な投票制度において、複数の標準的制御タイプ（例：投票者の追加と候補者の削除）を統合したマルチモード制御攻撃が多項式時間で解けるか？
• RQ2 個々にNP困難な複数の制御タイプを組み合わせた場合、計算的により困難な問題になるのか、それとも攻撃方向間の相互作用を効率的に管理できるのか？
• RQ3 個々の制御タイプに対して脆弱であるが、それらの組み合わせ（マルチモード攻撃）に対しては抵抗性を示す自然な選挙制度は存在するか？
• RQ4 提案されたフレームワークは、賄賂や操作といった既存のモデルを1つのマルチモード制御抽象化に統合できるか？
• RQ5 全マルチモード制御攻撃（AC+DC+AV+DV+BV）は、候補者の数に関して固定パラメータ探索的 tractable（FPT）か？

主な発見

• プライラリティ、コンドルセ、コペランド 0.5、承認、マクシミン投票制度において、すべての建設的および破壊的制御脆弱性が1つの多項式時間で解けるマルチモード攻撃に統合される。
• 本稿は、研究対象の5つの制度すべてにおいてマルチモード制御攻撃を解く多項式時間アルゴリズムを構築し、個々の要素がNP困難であっても、統合攻撃が効率的に計画可能であることを証明する。
• 建設的ACとAV制御に対して脆弱であるが、それらの組み合わせ（AC+AV）に対しては抵抗性を示す自然な選挙制度が存在することを示し、マルチモード攻撃が個々の攻撃より困難になる可能性があることを示す。
• 広いクラスの投票制度において、全マルチモード制御攻撃（AC+DC+AV+DV+BV）は候補者の数に関して固定パラメータ探索的 tractable（FPT）である。
• 候補者のドッジソン得点がドッジソン勝者（Dodgson winner）の得点の‖C‖²倍を超えるものは、マクシミン勝者にはなり得ないことを証明し、アルゴリズム設計に有用な上限を提供する。
• 攻撃者が空白票の操作者に対する好みを設定できるようにすることで、フレームワークは自然に操作を含むように拡張可能であり、場合によっては操作者を削除することが戦略的に有益になるケースも含まれる。