[논문 리뷰] SOBA: Secrecy-preserving Observable Ballot-level Audit

Josh Benaloh, Douglas W. Jones외 3명|arXiv (Cornell University)|2011. 05. 29.

Internet Traffic Analysis and Secure E-voting참고 문헌 25인용 수 23

한 줄 요약

SOBA는 투표 기밀을 유지하면서도 위험 한도가 있는 감사 프레임워크로, 각 경선별로 투표 기록(CVR)을 공개하고, 복호화 가능한 방법으로 표-표본 기록 매핑을 암호화하여 공개적으로 선거 결과를 검증할 수 있도록 한다. 이는 오류가 발견되지 않는 한 오직 소수의 표만 드러나는 동시에 단일 표 감사를 동시에 수행함으로써 결과의 정확성에 대해 높은 신뢰를 확보한다. 결과가 잘못되었을 경우 전수 조사가 보장된다.

ABSTRACT

SOBA is an approach to election verification that provides observers with justifiably high confidence that the reported results of an election are consistent with an audit trail ("ballots"), which can be paper or electronic. SOBA combines three ideas: (1) publishing cast vote records (CVRs) separately for each contest, so that anyone can verify that each reported contest outcome is correct, if the CVRs reflect voters' intentions with sufficient accuracy; (2) shrouding a mapping between ballots and the CVRs for those ballots to prevent the loss of privacy that could occur otherwise; (3) assessing the accuracy with which the CVRs reflect voters' intentions for a collection of contests while simultaneously assessing the integrity of the shrouded mapping between ballots and CVRs by comparing randomly selected ballots to the CVRs that purport to represent them. Step (1) is related to work by the Humboldt County Election Transparency Project, but publishing CVRs separately for individual contests rather than images of entire ballots preserves privacy. Step (2) requires a cryptographic commitment from elections officials. Observers participate in step (3), which relies on the "super-simple simultaneous single-ballot risk-limiting audit." Step (3) is designed to reveal relatively few ballots if the shrouded mapping is proper and the CVRs accurately reflect voter intent. But if the reported outcomes of the contests differ from the outcomes that a full hand count would show, step (3) is guaranteed to have a large chance of requiring all the ballots to be counted by hand, thereby limiting the risk that an incorrect outcome will become official and final.

연구 동기 및 목표

• 전자 선거 결과를 투표자 기밀을 훼손하지 않고 검증하는 데 도전하는 데 목적이 있다.
• 공개적으로 검증 가능한 방법을 통해 보고된 선거 결과에 대해 높은 신뢰를 확보하는 방법을 제공하는 데 목적이 있다.
• 소프트웨어 및 절차 오류에 강건한 시스템을 설계하면서도 암호화된 암호화를 통해 기밀을 유지하는 데 목적이 있다.
• 위험 한도가 있는 감사 절차를 통해 잘못된 결과를 높은 확률로 탐지하는 데 목적이 있다.
• 관찰자가 전체 표 기반 CVR을 재구성하지 않고도 정확성을 검증할 수 있는 프레임워크를 만들기 위한 목적이 있다.

제안 방법

• 각 경선별로 투표 기록(CVR)을 별도로 공개하여 개별 경선 결과의 공개적 검증을 가능하게 한다.
• 표 식별자와 해당 CVR 간의 매핑을 손상시키지 않도록 보장하기 위해 암호화된 암호화(H)를 사용한다.
• CVR 정확성과 매핑 무결성을 검증하기 위해 '초단순 동시 단일 표 감사' 방법을 기반으로 한 위험 한도가 있는 감사를 시행한다.
• 각 선거에 대해 하나의 암호화된 암호화만 필요로 하여 이전 방법에 비해 복잡성을 감소시킨다.
• 관찰자에게 노출되는 표의 수를 제한한다—오류가 발견되지 않는 한 소수의 표 샘플만 드러난다.
• 표 계산을 통해 각 경선 간에 투표된 표, 반환된 표, 손상된 표의 수가 일관된지 확인한다.

실험 결과

연구 질문

• RQ1 공개 감사를 통해 높은 확신을 갖고 선거 결과를 검증하면서도 투표자 기밀을 유지할 수 있는가?
• RQ2 암호화된 암호화는 개별 투표를 드러내지 않고도 표-표본 기록 매핑의 무결성을 보장할 수 있는가?
• RQ3 어떤 감사 절차가 잘못된 결과를 높은 확률로 탐지하면서도 표의 노출을 최소화할 수 있는가?
• RQ4 하나의 암호화된 암호화로 모든 경선 매핑을 안전하고 효율적으로 바인딩할 수 있는가?
• RQ5 위험 한도가 있는 감사가 잘못된 결과를 수정하는 데 효과적이면서도 기밀을 유지할 수 있는 조건은 무엇인가?

주요 결과

• SOBA는 전체 표 기반 CVR 재구성을 방지함으로써 투표자 기밀을 유지하면서도 공개적으로 검증 가능한 선거 감사를 가능하게 한다.
• 위험 한도가 있는 감사를 통해 잘못된 결과를 높은 확률로 탐지할 수 있으며, 필요 시 전수 조사를 유도한다.
• 보고된 결과가 정확하고 매핑이 정확할 경우 관찰자에게 노출되는 표의 비율은 매우 낮다.
• 단일 암호화된 암호화의 사용은 감사 과정을 단순화하면서도 강력한 보안 보장을 유지한다.
• 감사 흔적 또는 감사가 손상된 경우 공식 결과가 발표되지 않으며, 이는 무결성을 유지한다.
• 시스템은 $P$-저항성으로 설계되어 있으며, 감사 흔적이 신뢰할 수 있고 사전 조건을 충족하면 결과가 정확할 확률이 최소 $P$ 이상이다.