[논문 리뷰] Proactively Accountable Anonymous Messaging in Verdict

Henry Corrigan-Gibbs, David Isaac Wolinsky외 1명|arXiv (Cornell University)|2012. 09. 21.

Internet Traffic Analysis and Secure E-voting참고 문헌 48인용 수 68

한 줄 요약

Verdict는 내부적 공격으로 인한 통신 정지 문제를 방지하기 위해 사전 검증 가능한 DC-net를 사용하는 실용적인 익명 그룹 메시징 시스템로, 공개 키 암호화와 제로 지식 증명을 활용해 해로운 행동을 사전에 탐지한다. 기존 시스템인 Dissent에 비해 속도가 최대 100배 빠른 1초 지연으로 100명, 10초 지연으로 1000명의 사용자를 지원한다.

ABSTRACT

The DC-nets approach to anonymity has long held attraction for its strength against traffic analysis, but practical implementations remain vulnerable to internal disruption or "jamming" attacks requiring time-consuming tracing procedures to address. We present Verdict, the first practical anonymous group communication system built using proactively verifiable DC-nets: participants use public key cryptography to construct DC-net ciphertexts, and knowledge proofs to detect and detect and exclude misbehavior before disruption. We compare three alternative constructions for verifiable DC-nets, one using bilinear maps and two based on simpler ElGamal encryption. While verifiable DC-nets incurs higher computation overheads due to the public-key cryptography involved, our experiments suggest Verdict is practical for anonymous group messaging or microblogging applications, supporting groups of 100 clients at 1 second per round or 1000 clients at 10 seconds per round. Furthermore, we show how existing symmetric-key DC-nets can "fall back" to a verifiable DC-net to quickly identify mis- behavior improving previous detections schemes by two orders of magnitude than previous approaches.

연구 동기 및 목표

• DC-net 기반 익명 시스템이 내부적 공격 또는 '잡음 공격'으로 인해 통신이 정지당하는 취약성을 해결하기 위해.
• 후행적 검증이 아닌 사전 검증을 통해 오작동을 사전에 탐지하는 실용적인 시스템을 설계하고 구현하기 위해.
• 이중선형 매핑과 엘가말 기반 기법을 포함한 다양한 암호 기법을 사용한 검증 가능한 DC-net의 성능 상충 관계를 평가하기 위해.
• 정상 조건에서는 높은 성능을 유지하면서도 빠른 장애 대응이 가능한 하이브리드 아키텍처에 검증 가능한 DC-net를 통합하기 위해.
• 검증 가능한 DC-net가 실세계 응용 분야, 예를 들어 익명 마이크로블로깅과 같은 분야에서 실용적으로 적용될 수 있음을 입증하기 위해.

제안 방법

• Verdict는 각 참가자가 제로 지식 증명을 통해 자신의 메시지가 올바르게 암호화되었음을 암호학적으로 증명하는 사전 검증 가능한 DC-net를 사용한다.
• 세 가지의 대안적 구성 방식을 구현한다: 이중선형 매핑 기반(골레와 줄스의 영향을 받음)과 정수군 및 타원곡선 군 기반의 표준 엘가말 암호화 방식 두 가지.
• Dissent와 유사한 클라이언트/서버 아키텍처를 채택하여 내성적 강건성과 확장성을 확보하며, 최소한 하나의 서버가 정상 작동하는 한 보안이 유지된다.
• 정상 작동 시 대칭 키 기반 DC-net를 기본으로 사용하고, 장애가 감지될 경우에만 검증 가능한 DC-net로 전환하는 하이브리드 설계를 도입한다.
• Dissent에서 비용이 많이 드는 검증 가능한 셔플을 단일 검증 가능한 DC-net 라운드로 대체함으로써 장애 탐지 속도를 크게 향상시킨다.
• 성능 평가를 위해 트레이스 기반 시뮬레이션과 실제 네트워크 트레이스를 사용하여 Verdict, Dissent, 대칭 키 기반 DC-net의 마이크로블로깅 워크로드에서의 성능을 비교한다.

실험 결과

연구 질문

• RQ1 사전 검증 가능한 DC-net는 실시간 익명 그룹 메시징을 지원하기에 충분히 효율적으로 구현될 수 있는가?
• RQ2 이중선형 매핑과 엘가말 기반 기법 간의 다양한 암호 기법이 검증 가능한 DC-net의 성능과 실용성에 어떤 영향을 미치는가?
• RQ3 대칭 키 기반 DC-net와 검증 가능한 DC-net를 조합한 하이브리드 시스템은 정상 조건에서도 높은 성능을 유지하면서도 빠른 장애 탐지 기능을 제공할 수 있는가?
• RQ4 사전 검증 방식은 후행적 책임 기반 메커니즘에 비해 장애 탐지 시간을 얼마나 줄일 수 있는가?
• RQ5 마이크로블로깅과 같은 실용적 응용 분야에서 공개 키 암호화의 계산 오버헤드는 수용 가능한가?

주요 결과

• Verdict는 1초 지연으로 100명, 10초 지연으로 1000명의 사용자를 지원하여 실시간 익명 커뮤니케이션의 실용성을 입증한다.
• 엘가말 기반 검증 가능한 DC-net 구성은 원래의 이중선형 매핑 기반 접근 방식 대비 계산 비용을 한 단계 낮춘다.
• 마이크로블로깅 워크로드에서 장애가 발생하지 않은 경우 Verdict의 성능은 대칭 키 기반 DC-net(예: Dissent)와 거의 동일하다.
• 하이브리드 설계 덕분에 1000개 노드로 구성된 그룹에서 장애 탐지 시간이 Dissent의 20분에서 단 26초로 단축되어 100배 향상되었다.
• Verdict의 사전 검증 가능한 DC-net 원천은 메시지 전달이 방해되기 이전에 오작동을 탐지할 수 있게 하여 고비용의 재시작이 필요 없도록 한다.
• 이 시스템은 검증 가능한 DC-net의 첫 번째 기능 구현으로, 실세계 배포에 있어 이러한 시스템이 실용적일 수 있음을 실증적 증거를 제공한다.