[论文解读] 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.

研究动机与目标

• 建模并分析多模式控制攻击的复杂性，其中攻击者将多种标准控制操作（如增加选民、删除候选人）组合为单一策略。
• 研究将多种攻击类型（每种在孤立时可能为 NP-难）组合后，是否导致计算上更困难的问题，或仍保持可 tractable（可解）。
• 提供一个统一框架，涵盖现有模型如贿赂和操纵，以实现对现实世界选举干扰更真实的建模。
• 证明对于若干自然投票系统，即使复杂的多管齐下攻击也可在确定性多项式时间内求解。
• 通过展示个体漏洞在多模式控制下组合成更强、统一的漏洞，从而强化现有漏洞分析结果。

提出的方法

• 提出多模式控制攻击的正式模型，允许任意组合标准控制类型（如 AC、AV、DC、DV、BV）和贿赂。
• 提出一种针对 plurality、Condorcet、Copeland、approval 和 maximin 投票系统的多模式控制攻击的多项式时间算法。
• 使用固定参数可塑性（FPT）技术，以候选人数量为参数，证明对于一大类系统，完整的多模式控制（AC+DC+AV+DV+BV）为 FPT。
• 应用动态规划和构造性算法，在不增加计算复杂度超过多项式时间的前提下，规划多方向攻击的最优策略。
• 将框架扩展至包含操纵，允许攻击者设定空白选票操纵者的选择偏好。
• 采用基于归约的证明策略，表明即使各独立方向存在漏洞，某些系统在组合攻击下仍保持抗性。

实验结果

研究问题

• RQ1 对于常见投票系统，能否在多项式时间内求解组合了多种标准控制类型（如增加选民和删除候选人）的多模式控制攻击？
• RQ2 将多种 NP-难控制类型组合后，是否导致计算上更困难的问题，还是各方向之间的交互可被高效管理？
• RQ3 是否存在自然选举系统，其对单一控制类型易受攻击，但对组合的多模式攻击具有抗性？
• RQ4 所提出的框架能否统一现有模型如贿赂和操纵，作为单一多模式控制抽象？
• RQ5 以候选人数量为参数，完整的多模式控制攻击（AC+DC+AV+DV+BV）是否为固定参数可塑？

主要发现

• 对于 plurality、Condorcet、Copeland 0.5、approval 和 maximin 投票系统，所有建设性和破坏性控制漏洞均可整合为单一多项式时间可解的多模式攻击。
• 本文构建了一项多项式时间算法，用于求解所有五种研究系统中的多模式控制攻击，证明即使各独立组件为 NP-难，组合攻击仍可高效规划。
• 存在一种自然选举系统，对建设性 AC 和 AV 控制均易受攻击，但对组合攻击（AC+AV）具有抗性，表明多模式攻击可能比单一攻击更困难。
• 对于一大类投票系统，完整的多模式控制攻击（AC+DC+AV+DV+BV）以候选人数量为参数时为固定参数可塑。
• 本文证明：任何 Dodgson 得分超过 Dodgson 获胜者得分 ‖C‖² 倍的候选人，不可能是 maximin 获胜者，为算法设计提供了有用界。
• 该框架自然扩展至包含操纵，允许攻击者设定空白选票操纵者的选择偏好，甚至包括删除操纵者可能具有战略优势的情况。