[논문 리뷰] Atom: Horizontally Scaling Strong Anonymity

Albert Kwon, Henry Corrigan-Gibbs외 2명|arXiv (Cornell University)|2016. 12. 23.

Internet Traffic Analysis and Secure E-voting참고 문헌 33인용 수 10

한 줄 요약

Atom은 수평 확장이 가능한 익명 메시징 시스템으로, 새로운 재난복호화 가능한 엘가말 변종과 효율적인 암호 기법을 사용해 활성 대상자에 대비한 강력한 익명성을 달성한다. 이 시스템은 수천 대의 서버를 통해 거의 선형적 확장이 가능하며, 백만 개의 트윗 길이 메시지를 28분 내에 처리해, 유사한 프라이버시 보장을 갖는 이전 시스템보다 23배 이상 빠르다.

ABSTRACT

Atom is an anonymous messaging system that protects against traffic-analysis attacks. Unlike many prior systems, each Atom server touches only a small fraction of the total messages routed through the network. As a result, the system's capacity scales near-linearly with the number of servers. At the same time, each Atom user benefits from "best possible" anonymity: a user is anonymous among all honest users of the system, against an active adversary who controls the entire network, a portion of the system's servers, and any number of malicious users. The architectural ideas behind Atom have been known in theory, but putting them into practice requires new techniques for (1) avoiding the reliance on heavy general-purpose multi-party computation protocols, (2) defeating active attacks by malicious servers at minimal performance cost, and (3) handling server failure and churn. Atom is most suitable for sending a large number of short messages, as in a microblogging application or a high-security communication bootstrapping ("dialing") for private messaging systems. We show that, on a heterogeneous network of 1,024 servers, Atom can transit a million Tweet-length messages in 28 minutes. This is over 23x faster than prior systems with similar privacy guarantees.

연구 동기 및 목표

• 수직 확장에 의존하는 전통적 익명 시스템의 확장성 한계를 해결하고, 서버당 높은 계산 부담을 완화한다.
• 네트워크를 모니터링하고 일정 비율의 서버를 제어하며 사용자 행동을 조작하는 활성 대상자 존재하에 강력한 익명성을 확보한다.
• 수천 대의 자원봉사 서버를 수평적으로 확장하면서도 서버당 부하를 낮추고 강력한 프라이버시 보장을 유지하는 시스템을 설계한다.
• 익명 미크로블로깅 및 종단 간 암호화 메시징 시스템을 위한 안전한 키 교환("다이얼링")과 같은 실용적 응용을 지원한다.
• 일般적인 다자간 계산과 검증 가능한 셔플링에 의존하지 않아 성능 저하 문제를 해결한다.

제안 방법

• 사전 경로를 알지 못한 채 그룹 간 공동으로 복호화 및 재암호화가 가능한, 엘가말 암호화의 재난복호화 가능한 변종을 사용한다.
• 전체 메시지의 일부분만 처리하는 여러 개의 소규모 독립 서버 그룹(입구, 중간, 출구 그룹)으로 네트워크를 구성한다.
• 이중 암호화 구조를 구현: 외부 엘가말은 그룹 수준의 라우팅을 위해, 내부는 NaCl을 사용한 인증된 암호화로 메시지 기밀성을 확보한다.
• 암호문 무결성 검증을 위해 비상호작용 지식 증명(NIZK)을 활용하며, 암호화, 재암호화, 검증 가능한 셔플링에 대한 증명을 포함한다.
• 비용이 많이 드는 검증 가능한 셔플링을 피하기 위해 악성 서버를 탐지할 수 있는 새로운 "트랩" 메커니즘을 도입하여 전통적인 셔플 검증 대비 성능 최적화된 대안을 제공한다.
• 다수 신뢰 그룹과 확률적 신뢰성 보장을 통해 서버 장애 및 변화를 수용하며, 높은 확률로 각 그룹에 적어도 한 대의 신뢰할 수 있는 서버가 존재하도록 보장한다.

실험 결과

연구 질문

• RQ1 분산된 익명 메시징 시스템이 활성 대상자 모델을 고려할 때 수천 대의 서버를 수평적으로 확장하면서도 강력한 익명성을 달성할 수 있는가?
• RQ2 사용자가 메시지가 통과할 경로를 사전에 알 수 없는 상황에서 종단 간 익명성이 어떻게 유지될 수 있는가?
• RQ3 일반적인 다자간 계산을 대체할 수 있는 암호 기법은 무엇인가? 이는 익명 네트워크에서 서버당 계산 비용을 감소시킬 수 있다.
• RQ4 악성 서버에 의한 활성 공격은 어떻게 탐지하고 완화할 수 있으며, 성능 저하를 최소화할 수 있는가?
• RQ5 실제 장애 및 악성 조건 하에서도 강력한 익명성 보장을 유지하기 위해 필요한 그룹 크기와 네트워크 구성은 무엇인가?

주요 결과

• Atom은 거의 선형적 확장성을 달성한다: 1,024대의 서버를 사용할 경우 백만 개의 트윗 길이 메시지를 28분 내에 전송하며, 동일한 프라이버시 보장을 갖는 이전 시스템 대비 23배 이상 빠른 성능 향상을 보인다.
• 각 서버는 총 메시지 수 M과 서버 수 N에 대해 O(M/N)개의 암호문만 처리하므로, 효율적인 수평 확장이 가능하다.
• 시스템은 강력한 익명성을 유지한다: 전체 네트워크를 모니터링하고 일정 비율의 서버, 모든 사용자를 제어하는 적대자라도 정상 사용자를 탈징하기 위한 이득이 근본적으로 부족하다.
• 새로운 트랩 기반 탐지 메커니즘을 도입해 고비용의 검증 가능한 셔플링 의존도를 줄였으며, 약간 더 약한 위협 모델 하에서도 보안을 유지하면서 성능을 향상시켰다.
• 확률적 신뢰성 보장이 있는 다수 신뢰 그룹은 이론적 이항 확률 경계를 기반으로 한 그룹 크기를 사용해 각 그룹당 최대 h−1대의 서버 장애를 높은 확률로 수용할 수 있다.
• 시스템의 설계는 익명 미크로블로깅 및 종단 간 암호화 메시징 시스템에서의 안전한 키 교환("다이얼링")을 위한 실용적 구현을 가능하게 하며, 기존 솔루션 대비 측정 가능한 성능 향상을 제공한다.