[논문 리뷰] Multimode Control Attacks on Elections

Piotr Faliszewski, Edith Hemaspaandra외 1명|arXiv (Cornell University)|2010. 07. 11.

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-난이도일 수 있지만, 이를 조합했을 때 문제가 더 계산적으로 어려워지거나 여전히 처리 가능해지는지 조사한다.
• 기존의 뇌물 공격 및 조작 모델을 포함하는 통합 프레임워크를 제공하여 현실 세계의 선거 간섭을 더 현실적으로 모델링할 수 있도록 한다.
• 일부 자연스러운 투표 시스템에서 복잡한 다면적 공격이 결정론적 다항 시간 내에 해결 가능하다는 것을 보여준다.
• 기존의 취약성 결과를 강화하여, 개별 취약성이 다중 모드 제어 하에서 더 강력하고 통합된 취약성으로 조합된다는 것을 보여준다.

제안 방법

• 표준 제어 유형(예: AC, AV, DC, DV, BV)의 임의의 조합과 뇌물 공격을 허용하는 다중 모드 제어 공격의 형식적 모델을 제안한다.
• 다수의, 콘도르세, 코플랜드, 승인, 최대최소 투표 시스템에서 다중 모드 제어 공격을 다항 시간 내에 해결하는 알고리즘을 제안한다.
• 후보자의 수를 매개변수로 사용하는 고정 매개변수 다항 시간(FPT) 기법을 사용하여, 전체 다중 모드 제어(AC+DC+AV+DV+BV)가 광범위한 시스템 클래스에서 FPT임을 보여준다.
• 동적 프로그래밍과 구성적 알고리즘을 활용하여 다중 방향 공격의 최적 전략을 계획하면서 계산 복잡도를 다항 시간 이내로 유지한다.
• 공격자가 빈 투표 조작자들의 선호도를 설정할 수 있도록 허용함으로써, 조작을 포함하는 프레임워크를 확장한다.
• 특정 시스템이 개별 공격 유형에 취약할 수 있지만 병합된 공격에 대해서는 여전히 저항력이 있다는 것을 보여주기 위해 감소 기반 증명 전략을 적용한다.

실험 결과

연구 질문

• RQ1 다수의 표준 제어 유형(예: 투표자 추가 및 후보자 삭제)을 조합한 다중 모드 제어 공격이 일반적인 투표 시스템에서 다항 시간 내에 해결될 수 있는가?
• RQ2 여러 개의 NP-난이도 제어 유형을 조합했을 때 문제가 더 계산적으로 어려워지는가, 아니면 각 방향 간의 상호작용을 효율적으로 관리할 수 있는가?
• RQ3 개별 제어 유형에 취약하지만 병합된 다중 모드 공격에 저항하는 자연스러운 선거 시스템이 존재하는가?
• RQ4 제안된 프레임워크는 뇌물 공격 및 조작과 같은 기존 모델을 하나의 다중 모드 제어 추상화로 통합할 수 있는가?
• RQ5 전체 다중 모드 제어 공격(AC+DC+AV+DV+BV)은 후보자 수에 대해 고정 매개변수 다항 시간(FPT)인가?

주요 결과

• 다수의, 콘도르세, 코플랜드 0.5, 승인, 최대최소 투표 시스템에서, 모든 구성적 및 파괴적 제어 취약성은 하나의 다항 시간 내에 해결 가능한 다중 모드 공격으로 통합된다.
• 논문은 다섯 가지로 연구된 모든 시스템에서 다중 모드 제어 공격을 해결하는 다항 시간 알고리즘을 구성하며, 개별 구성 요소가 NP-난이도임에도 불구하고 통합 공격이 효율적으로 계획 가능하다는 것을 증명한다.
• 구성적 AC 및 AV 제어에 취약하지만 그 조합(AC+AV)에는 저항하는 자연스러운 선거 시스템이 존재함을 보여주며, 다중 모드 공격이 개별 공격보다 더 어려울 수 있음을 입증한다.
• 다수의 후보자 수에 대해 전체 다중 모드 제어 공격(AC+DC+AV+DV+BV)은 광범위한 투표 시스템 클래스에서 고정 매개변수 다항 시간(FPT)임을 보여준다.
• Dodgson 점수 값이 Dodgson 승자 점수의 ‖C‖² 배를 초과하는 후보자는 최대최소 승자일 수 없다는 것을 증명하며, 이는 알고리즘 설계에 유용한 한계를 제공한다.
• 프레임워크는 공격자가 빈 투표 조작자들의 선호도를 설정할 수 있도록 하여 자연스럽게 조작을 포함하며, 조작자를 삭제하는 것이 전략적으로 유리한 경우조차도 이를 수용한다.