[논문 리뷰] Strong Anonymity for Mesh Messaging

Neil Perry, Bruce Spang외 2명|arXiv (Cornell University)|2022. 07. 08.

Opportunistic and Delay-Tolerant Networks인용 수 4

한 줄 요약

이 논문은 인터넷 차단 상황에서 시위자들을 위한 안전하고 익명성 보장된 메esh 메시징 시스템을 제안한다. 브로드캐스트 기반 암호화와 커버 트래픽을 사용하여 발신자, 수신자, 시간 정보, 메시지 패턴을 포함한 모든 메타데이터를 숨기며, 현실적인 조건에서 3,000명 이상의 사용자를 지원할 수 있도록 확장성을 확보한다. 이 시스템은 트래픽 상관관계 분석 및 메타데이터 泄露를 방지하는 혁신적인 위협 모델과 프로토콜 설계를 통해 국가 수준의 적대자에 대비한 강력한 익명성을 달성한다.

ABSTRACT

Messaging systems built on mesh networks consisting of smartphones communicating over Bluetooth have been used by protesters around the world after governments have disrupted Internet connectivity. Unfortunately, existing systems have been shown to be insecure; most concerningly by not adequately hiding metadata. This is further complicated by the fact that wireless communication such as Bluetooth is inherently a broadcasting medium. In this paper, we present a new threat model that captures the security requirements of protesters in this setting. We then provide a solution that satisfies the required security properties, hides all relevant metadata, scales to moderately sized protests, and supports group messaging. This is achieved by broadcasting all messages in a way that limits the overhead of duplicate messages, ensuring that ciphertexts do not leak metadata, and limiting what can be learned by observing user behavior. We also build a model of our system and numerically evaluate it to support our claims and analyze how many users it supports. Finally, we discuss further extensions that remove potential bottlenecks in scaling and support substantially more users.

연구 동기 및 목표

• 국가 수준의 감시에 직면한 시위자들을 대상으로, 악성 환경 및 인터넷 장애 상황에서 익명 메시징을 위한 공식 보안 모델을 정의하는 것.
• Bridgefy 및 FireChat와 같은 기존 메시징 앱에서 드러난 트래픽 분석 및 익명성 해제 공격에 취약한 메타데이터 보호의 심각한 부족을 해결하는 것.
• 발신자, 수신자, 시간, 통신 패턴을 모두 숨기는 엔드 투 엔드 기밀성과 강력한 익명성을 보장하는 시스템을 설계하고 구현하는 것.
• 실제 시위 조건(인파 밀도, 메시지 빈도 등)을 반영한 모델링과 수치 분석을 통해 시스템의 확장성을 평가하는 것.
• 강력한 프라이버시 보장을 유지하면서 더 큰 규모의 시위를 지원할 수 있도록 시스템을 확장할 수 있는 방법을 탐색하는 것.

제안 방법

• 국가 수준의 적대자가 인터넷 차단 시위 상황에서 가진 능력을 반영한 새로운 위협 모델을 설계하여, 전 세계 네트워크 시각화 능력과 일부 사용자에 대한 통제력을 포함한다.
• 브로드캐스트 기반의 메시지 전파 방식을 사용하여 메타데이터 泄露를 방지하고, 암호문이 발신자, 수신자, 시간 정보를 드러내지 않도록 보장한다.
• 실제 메시지 패턴을 가림으로써 적대자가 사용자 행동을 관찰할 경우 트래픽 상관관계 공격을 방지하기 위해 커버 트래픽 생성 기능을 구현한다.
• 이전 연구의 결과를 기반으로 수정된 브로드캐스트 알고리즘을 적용하여 모든 기기에서 메시지를 수신하면서도 중복 메시지 오버헤드를 최소화한다.
• 대칭 키 암호화와 프라이버시 보장을 위한 프라이버시 보장 키 관리 체계를 사용하여 향후 비밀성과 장기적 추적 방지를 확보한다.
• 다양한 사용자 수, 인파 밀도, 메시지 전송 빈도 조건에서 메시지 전달 지연과 처리 능력을 시뮬레이션할 수 있는 시스템 모델을 구축한다.

실험 결과

연구 질문

• RQ1 인터넷 장애 상황에서 국가 수준의 적대자에 대비해 강력한 익명성을 제공할 수 있는 메시징 시스템을 설계할 수 있는가?
• RQ2 중앙 집중식 인프라가 없는 블루투스 기반 메시징 네트워크에서 발신자, 수신자, 시간, 메시지 빈도와 같은 메타데이터를 어떻게 은폐할 수 있는가?
• RQ3 실제 시위 조건에서 낮은 지연 시간과 강력한 익명성을 유지하면서 메시징 시스템이 지원할 수 있는 최대 사용자 수는 얼마인가?
• RQ4 커버 트래픽과 브로드캐스트 메커니즘을 어떻게 조합하여 과도한 네트워크 오버헤드 없이 트래픽 상관관계 공격을 방지할 수 있는가?
• RQ5 강력한 프라이버시 보장을 유지하면서도 수천 명의 사용자를 지원할 수 있도록 확장 가능한 아키텍처적 확장 기법은 무엇인가?

주요 결과

• 비관적인 인파 밀도 가정 하에 시스템은 최대 200명의 사용자가 30초마다 메시지를 전송할 수 있으며, 메시지 전달 시간이 몇 초 내로 이루어진다.
• 더 현실적인 조건에서 시스템은 분당 3,000명 이상의 사용자가 메시지를 전송할 수 있으며, 전달 시간은 2분 이내로 유지된다.
• 브로드캐스트 기반 암호화와 커버 트래픽를 통해 발신자, 수신자, 메시지 전송 시간, 통신 패턴을 포함한 모든 메타데이터를 은폐함으로써 강력한 익명성을 달성한다.
• 수치적 모델링 결과 시스템이 중간 규모의 시위에 대해 효과적으로 확장 가능하며, 메시지 손실률이 낮고 전달 지연 시간이 예측 가능함을 확인했다.
• 커버 트래픽과 브로드캐스트 가림 기법 덕분에 전 세계 네트워크 시각화 능력을 가진 수동적 적대자에 대해서도 시스템이 저항력이 있다. 트래픽 상관관계 공격이 방지되기 때문이다.
• 클리크 기반 브로드캐스트와 같은 확장 기법을 통해 시스템을 수천 명 이상의 사용자를 지원하도록 확장할 수 있으나, 익명성 또는 사용자 친구 관계 수 제한과의 상충 가능성이 있다.