[논문 리뷰] Secure Anonymous Broadcast

Mahnush Movahedi, Jared Saia외 1명|arXiv (Cornell University)|2014. 05. 21.

Internet Traffic Analysis and Secure E-voting참고 문헌 32인용 수 4

한 줄 요약

이 논문은 신뢰할 수 있는 당사자 없이 트래픽 분석 공격에 저항할 수 있도록 설계된 탈중앙화되고 확장 가능한 익명 브로드캐스트 프로토콜을 제안한다. 각 당사자는 익명 메시지당 다항로그리듬 비트만 전송하고 계산하며, $O(\log n)$라운드를 거치고 최대 $n/6$개의 바이진티스트 결함을 견딜 수 있다. 이 프로토콜은 로컬에서 로그arithmic 크기의 그룹 내에서 계산을 수행하고, 보안 다자간 계산을 통해 트래픽 분석 공격에 저항하며, 신뢰할 수 있는 제3자 없이도 기존의 방법보다 통신 비용에서 수개의 주요 차이를 보인다.

ABSTRACT

In anonymous broadcast, one or more parties want to anonymously send messages to all parties. This problem is increasingly important as a black-box in many privacy-preserving applications such as anonymous communication, distributed auctions, and multi-party computation. In this paper, we design decentralized protocols for anonymous broadcast that require each party to send (and compute) a polylogarithmic number of bits (and operations) per anonymous bit delivered with $O(\log n)$ rounds of communication. Our protocol is provably secure against traffic analysis, does not require any trusted party, and is completely load-balanced. The protocol tolerates up to $n/6$ statically-scheduled Byzantine parties that are controlled by a computationally unbounded adversary. Our main strategy for achieving scalability is to perform local communications (and computations) among a logarithmic number of parties. We provide simulation results to show that our protocol improves significantly over previous work. We finally show that using a common cryptographic tool in our protocol one can achieve practical results for anonymous broadcast.

연구 동기 및 목표

• 신뢰할 수 있는 당사자에 의존하지 않고 트래픽 분석 공격과 능동적 공격자에 대해 안전한 탈중앙화된 익명 브로드캐스트 프로토콜을 설계하는 것.
• 익명 비트당 다항로그리듬 통신 및 계산 비용을 달성하여 대규모 네트워크로의 확장성을 보장하는 것.
• 계산 능력이 무한한 공격자가 제어하는 정적 스케줄링을 가진 최대 $n/6$개의 바이진티스트 당사자에 대해 부하 균형과 내성성을 확보하는 것.
• 기존의 DC-Nets와 Mix-Nets를 개선하여 $\Omega(n^2)$의 통신 복잡도를 비트당 $\tilde{O}(1)$로 감소시키는 것.
• 시뮬레이션과 암호학적 최적화(예: 분할 설정 비용 포함)를 통해 실용성을 입증하는 것.

제안 방법

• 프로토콜은 $O(\log n)$명의 당사자 간 국소적 그룹 기반 통신을 사용하여 보안 다자간 계산과 셔플링을 수행함으로써 전역 통신 오버헤드를 감소시킨다.
• 정확성과 기밀성을 보장하기 위해 불변적 보안(예: Katz 등)과 계산적 보안(예: Kate 등)을 모두 활용하는 검증 가능한 비밀 분배(VSS) 기법을 사용한다.
• 입력을 익명으로 셔플링하기 위해 다자 정렬 회로를 사용하며, $k=2$ 및 $n \leq 2^{25}$일 때 오류 확률 $\epsilon < 10^{-8}$이다.
• 온라인 단계에서 공통된 암호학적 도구(예: 무작위 트리플)를 활용하여 비밀 공유 상의 곱셈 계산을 효율적으로 수행함으로써 분할 설정 비용을 실현한다.
• 악성 당사자 존재 상황에서도 강건성을 확보하기 위해 오류 확률이 $10^{-5}$ 이하인 쿼orum 구축 알고리즘을 사용한다.
• 모든 당사자 간에 비밀이고 인증된 채널이 있으며, 신원 정보가 공개된 동기 네트워크에서 시스템이 운영된다고 가정한다.

실험 결과

연구 질문

• RQ1 탈중앙화된 익명 브로드캐스트 프로토콜이 $n/6$개의 바이진티스트 결함을 견딜 수 있는 동시에 익명 비트당 다항로그리듬 통신 및 계산 비용을 달성할 수 있는가?
• RQ2 로그arithmic 크기의 그룹 내 국소 계산이 $\Omega(n^2)$의 비용을 지닌 프로토콜에 비해 전역 통신 복잡도를 크게 감소시킬 수 있는가?
• RQ3 계산 능력이 무한한 공격자 조건 하에서도 신뢰할 수 있는 인fra구조 없이 트래픽 분석 공격에 대해 증명 가능한 보안을 달성할 수 있는가?
• RQ4 분할 설정 및 무작위 트리플 생성과 같은 암호학적 최적화 기법을 통해 프로토콜이 대규모 배포에 실용적이게 될 수 있는가?
• RQ5 제한된 결함 내성과 함께 비동기 네트워크로의 적응이 가능한가?

주요 결과

• $n = 2^{20}$(약 100만 명의 당사자)일 경우, 분할된 프로토콜은 익명 비트당 약 64KB의 데이터만 필요하며, 이는 이전의 연구들에 비해 극적으로 향상된 성능이다.
• 불변적 보안 버전의 프로토콜은 익명 비트당 약 64MB의 데이터를 요구하며, 이는 [7], [16], [44]의 프로토콜에서 관찰된 1TB 이상의 당사자당 데이터보다 훨씬 낮은 수준이다.
• 쿼럼 구축 알고리즘의 오류 확률은 $10^{-5}$ 이하로 유지되며, $n = 2^{25}$일 경우 정렬 회로의 오류 확률은 $10^{-300}$ 이하로 감소한다.
• 프로토콜은 $O(\log n)$라운드의 통신을 달성하며, 모든 당사자 간에 완벽한 부하 균형을 유지한다.
• 분할 설정을 통해 비트당 통신 비용이 비분할 버전 대비 100배 감소하여 실용성에 크게 기여한다.
• 시뮬레이션 결과는 프로토콜이 스케일이 클수록 통신 효율성 면에서 이전의 모든 탈중앙화된 익명 브로드캐스트 프로토콜을 능가함을 보여준다.