[논문 리뷰] A practical multi-party computation algorithm for a secure distributed online voting system

Juanjo Bermúdez|arXiv (Cornell University)|2016. 03. 14.

Cryptography and Data Security참고 문헌 1인용 수 4

한 줄 요약

이 논문은 공개 서버에 민감한 데이터를 저장하지 않으면서도 검증 가능한 투표 집계가 가능한, 실용적인 다자간 계산(MPC) 알고리즘을 제안한다. 이 알고리즘은 투표자를 작은 클러스터로 분할하여, 외부 해커와 악성 관리자에 대한 강력한 보안을 확보한다. 특정 암호화 기법에 의존하지 않으며, 기존 시스템보다도 전체적인 위험을 낮춘다.

ABSTRACT

We present an online voting architecture based on partitioning the election in small clusters of voters and using a new Multi-party Computation algorithm for obtaining voting results from the clusters. This new algorithm has some practical advantages over other previously known algorithms and isn't bound to any specific cryptographic concept; so it can be adapted to future cryptographic exigencies. Compared with other online voting technologies, we see that this new architecture is less vulnerable to hacker attacks and attacks from dishonest authorities, given that no sensitive information is stored in any public server and there is no need for any trustee to safeguard the legality of the election process. Even in case of an attack succeeding, the risks associated with the overall election are far lower than with any other voting system. This architecture can also be combined with any other voting system, inheriting advantages from both systems.

연구 동기 및 목표

• 외부 공격과 부정한 관리자에 의한 내부 위협에 저항할 수 있는 확장성 있고 안전한 온라인 투표 시스템을 설계하기.
• 선거의 무결성을 보장하기 위해 신뢰할 수 있는 제3자나 위임자를 필요로 하지 않기.
• 기본 암호화 가정에 영향을 받지 않는 다자간 계산 프로토콜을 개발하여 향후 유연성 확보하기.
• 민감한 정보가 공개 서버에 저장되지 않도록 하여 데이터 유출 위험을 최소화하기.
• 기존 투표 기술과 상호 운용 가능하면서도 보안을 향상시키는 시스템 구축하기.

제안 방법

• 잠재적 침해의 영향을 제한하기 위해 투표자를 작은 고립된 클러스터로 분할한다.
• 개별 투표를 드러내지 않고 클러스터 수준의 데이터로부터 투표 결과를 계산하기 위해 새로운 다자간 계산 알고리즘을 사용한다.
• MPC 프로토콜은 오직 최종 집계 결과만 공개하여 정보 이론적 보안을 통해 투표자의 비밀을 유지한다.
• 아키텍처는 공개 서버에 민감한 데이터를 저장하지 않아 공격 표면을 줄인다.
• 프로토콜은 특정 암호화 기법에 종속되지 않게 설계되어, 발전하는 암호화 표준과의 통합이 가능하다.
• 하이브리드 배포를 지원하여 다른 투표 시스템과 통합되어 그 장점을 이어받을 수 있다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 제3자가 없이도 데이터 유출을 방지하고 투표자의 비밀을 보장할 수 있는 분산 온라인 투표 시스템은 어떻게 설계할 수 있는가?
• RQ2 분산된 클러스터에서 데이터를 기반으로 안전하게 투표 결과를 계산할 수 있는 다자간 계산 프로토콜은 무엇이며, 기초 암호화 가정에 영향을 받지 않도록 설계할 수 있는가?
• RQ3 개별 클러스터가 공격을 받는 경우 전체 시스템의 위험을 어떻게 최소화할 수 있는가?
• RQ4 제안된 아키텍처는 기존 투표 시스템과 어떻게 조합되어 전체 보안을 향상시킬 수 있는가?
• RQ5 실세계 온라인 투표에서 클러스터 기반 MPC를 사용할 경우 실용적인 성능 및 보안의 상충 요소는 무엇인가?

주요 결과

• 민감한 데이터가 공개 서버에 저장되지 않도록 함으로써 공격 표면이 크게 줄어들어 강력한 보안 보장을 달성한다.
• MPC 알고리즘이 개인 투표를 드러내지 않고도 검증 가능한 투표 집계를 가능하게 하여 투표자의 비밀을 유지한다.
• 아키텍처는 공격에 강건하다: 공격자가 클러스터를 해킹하더라도 데이터 격리 덕분에 전체 선거의 위험은 낮은 편을 유지한다.
• 시스템의 설계는 특정 암호화 기법에 종속되지 않아 필요에 따라 향후 더 안전한 알고리즘으로의 이관이 가능하다.
• 기존 투표 메커니즘과 조합이 가능하여 그 장점을 이어받으면서도 분산화와 MPC를 통해 보다 향상된 보안을 제공한다.
• 특허 출원 중임(WO 2015193524 A1)으로 제안된 접근법의 신규성과 실용적 적용 가능성이 입증된다.