[논문 리뷰] Information-Theoretically Secure Voting Without an Honest Majority

Anne Broadbent, Alain Tapp|ArXiv.org|2008. 06. 11.

Cryptography and Data Security참고 문헌 8인용 수 8

한 줄 요약

이 논문은 개인 채널과 동시에 방송 채널을 사용하여, 정당한 다수의 가정 없이도 투표 비밀과 정확성을 보장하는 정보이론적 안전성 확보된 세 가지 투표 프로토콜을 제안한다. 이 프로토콜들은 모든 투표자나 기관이 악의적으로 행동하더라도 무조건적 보안을 달성하며, 최종 프로토콜은 악성 투표가 집계에 영향을 주지 못하도록 하기 위해 투표 검증 기능을 도입한다.

ABSTRACT

We present three voting protocols with unconditional privacy and information-theoretic correctness, without assuming any bound on the number of corrupt voters or voting authorities. All protocols have polynomial complexity and require private channels and a simultaneous broadcast channel. Our first protocol is a basic voting scheme which allows voters to interact in order to compute the tally. Privacy of the ballot is unconditional, but any voter can cause the protocol to fail, in which case information about the tally may nevertheless transpire. Our second protocol introduces voting authorities which allow the implementation of the first protocol, while reducing the interaction and limiting it to be only between voters and authorities and among the authorities themselves. The simultaneous broadcast is also limited to the authorities. As long as a single authority is honest, the privacy is unconditional, however, a single corrupt authority or a single corrupt voter can cause the protocol to fail. Our final protocol provides a safeguard against corrupt voters by enabling a verification technique to allow the authorities to revoke incorrect votes. We also discuss the implementation of a simultaneous broadcast channel with the use of temporary computational assumptions, yielding versions of our protocols achieving everlasting security.

연구 동기 및 목표

• 모든 투표자와 기관이 악의적으로 행동할 수 있는 상황에서도 무조건적 비밀보장과 정확성을 유지하는 투표 프로토콜을 설계하는 것.
• 이전의 안전한 투표 프로토콜에서 흔히 사용되는 정당한 다수의 가정을 제거하는 것.
• 비밀보장을 해치지 않으면서 잘못되거나 악성 투표를 탐지하고 철회할 수 있는 메커니즘을 도입하는 것.
• 동시 방송 채널을 일시적인 계산 가정으로 대체함으로써 영구적 보안을 달성할 수 있는지 탐색하는 것.
• 신뢰할 수 있는 단일 기관에 의존하지 않고도 악성 투표자에 대한 강건성을 확보할 수 있는 확률적 검증 기법을 통해 달성할 수 있는지 보여주는 것.

제안 방법

• 정보이론적 안전성을 확보하기 위해 동시에 방송 채널을 사용하여 투표자 간에 패리티 함수를 계산하는 데 식탁 철학자 프로토콜을 기반으로 한다.
• 비트 공유 기법을 활용하여 n비트의 패리티가 균일하게 무작위이며, 참가자의 부분 집합이 이를 알 수 없도록 하여 비밀보장을 확보한다.
• 상호작용 복잡도를 줄이기 위해 투표 기관을 도입하여 통신을 투표자와 기관 간으로 제한하고, 동시에 방송을 기관들만이 사용하도록 제한한다.
• 세 번째 프로토콜에서 기관들이 랜덤으로 선택된 일부 투표를 열어 일관성을 검사함으로써 투표 검증 메커니즘을 구현한다.
• 기관들 간에 분산된 비트 동일성 테스트를 적용하여 나머지 투표들이 모두 동일한지 확인함으로써 정확성을 보장한다.
• 동시 방송 채널을 계산 가정(예: 상대성 기반 비트 커밋먼트)으로 대체하여 영구적 보안을 달성하면서도 완벽한 투표 비밀보장을 유지한다.

실험 결과

연구 질문

• RQ1 정당한 다수의 가정 없이도 투표에서 정보이론적 안전성을 달성할 수 있는가?
• RQ2 모든 투표자와 기관이 악의적으로 행동할 수 있는 상황에서도 투표자의 비밀보장을 어떻게 유지할 수 있는가?
• RQ3 동시 방송 채널은 정당한 다수 없이도 안전한 다자간 계산을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 정보이론적 프로토콜에 투표 검증을 통합하여 악성 투표가 결과에 영향을 주지 못하도록 할 수 있는가?
• RQ5 동시 방송 채널을 일시적인 계산 가정으로 대체함으로써 비밀보장을 해치지 않고 영구적 보안을 달성할 수 있는가?

주요 결과

• 첫 번째 프로토콜은 무조건적 비밀보장과 정확성을 보장하지만, 어떤 투표자라도 프로토콜 실패를 일으킬 수 있으며, 이로 인해 집계 정보가 泄露될 수 있다.
• 두 번째 프로토콜은 투표 기관을 도입하여 상호작용을 줄이고 동시에 방송을 기관들만이 사용하도록 제한한다. 한 명의 기관이 정상적으로 작동한다면 비밀보장은 여전히 무조건적이다.
• 세 번째 프로토콜은 투표 검증을 도입한다. 악의적인 투표자는 실패를 일으키는 확률이 s(보안 파rameter)에 대해 지수적으로 작아진다.
• 적어도 한 명의 기관이 정상적으로 작동한다면, 복구되지 않은 투표의 정확성은 s에 대해 지수적으로 1에 가까운 확률로 보장된다.
• 적어도 한 명의 기관이 정상적으로 작동한다면, 악의적인 투표자와 기관 간의 공모 상황에서도 비밀보장이 유지된다.
• 동시 방송 채널을 계산 가정(예: 상대성 기반 비트 커밋먼트)으로 대체함으로써 프로토콜은 영구적 보안을 달성하면서도 완벽한 투표 비밀보장을 유지한다.