[논문 리뷰] XRD: Scalable Messaging System with Cryptographic Privacy

Albert Kwon, David Lu외 1명|arXiv (Cornell University)|2019. 01. 14.

Cryptography and Data Security참고 문헌 17인용 수 10

한 줄 요약

XRD는 병렬 믹스넷 체인과 새로운 집합형 하이브리드 셔플 기법을 사용하여 글로벌 적대자에 대비한 암호학적 프라이버시를 제공하는 확장 가능한 메타데이터 비공개 메시징 시스템이다. 100台의 서버를 사용하여 200만 명의 사용자를 지원하며, 지연 시간은 251초로, Atom보다 12배 빠르고 Pung보다 3.7배 빠르며, 낮은 오버헤드를 위한 효율적인 암호학적 원리들을 사용한다.

ABSTRACT

Even as end-to-end encrypted communication becomes more popular, private messaging remains a challenging problem due to metadata leakages, such as who is communicating with whom. Most existing systems that hide communication metadata either (1) do not scale easily, (2) incur significant overheads, or (3) provide weaker guarantees than cryptographic privacy, such as differential privacy or heuristic privacy. This paper presents XRD (short for Crossroads), a metadata private messaging system that provides cryptographic privacy, while scaling easily to support more users by adding more servers. At a high level, XRD uses multiple mix networks in parallel with several techniques, including a novel technique we call aggregate hybrid shuffle. As a result, XRD can support 2 million users with 251 seconds of latency with 100 servers. This is 12x and 3.7x faster than Atom and Pung, respectively, which are prior scalable messaging systems with cryptographic privacy.

연구 동기 및 목표

• 엔드 투 엔드 암호화 메시징 시스템에서의 확장성-프라이버시 트레이드오프를 해결하기 위해 강력한 암호학적 프라이버시를 제공하면서도 메타데이터 泄露가 발생하지 않도록 보장하는 것.
• 서버 수에 따라 수평적으로 확장되면서도 낮은 지연 시간과 높은 처리량을 유지하는 시스템을 설계하는 것.
• 서버의 일정 비율을 제어하는 적대자와 사용자 수에 제한이 없는 상황에서도 통신 메타데이터(시간, 신원, 크기)를 보호하는 것.
• 프라이버시 예산이나 비용이 많이 드는 원리(예: 개인 정보 검색, PIR)에 의존하지 않고도 암호학적 프라이버시 보장을 달성하는 것.
• 단지 빠른 암호학적 원리들만을 사용하여, 활성 서버 공격에 저항하는 효율적이고 검증 가능한 셔플링 메커니즘을 개발하는 것.

제안 방법

• XRD는 서버들을 여러 개의 작은 체인으로 구성하며, 각 체인은 병렬로 메시지를 셔플하고 복호화하는 로컬 믹스넷으로 기능한다.
• 각 사용자는 메시지가 전송되는 체인을 선택하는 알고리즘을 사용하여, 모든 사용자 쌍이 적어도 한 번 이상 교차하도록 보장한다. 이는 모든 사용자 쌍이 통신할 가능성이 동일하게 유지됨을 의미한다.
• 메시지는 발신자와 수신자가 교차하는 체인을 제외한 모든 선택된 체인으로 전송되며, 교차하는 체인에서는 직접 메시지 교환을 통해 엔드 투 엔드 프라이버시를 유지한다.
• 집합형 하이브리드 셔플링 기법은 빠른 암호학적 원리들만을 사용하여 정확한 셔플링을 효율적으로 검증할 수 있도록 하여, 비용이 많이 드는 검증 가능한 셔플링 없이도 활성 서버 위변조를 방지한다.
• XRD는 대칭 키 암호화를 사용하고 공개 키 연산을 회피함으로써, PIR나 PKI에 의존하는 이전 시스템 대비 지연 시간을 크게 줄였다.
• 시스템은 사용자가 메시지의 발신자나 수신자를 체인 내에서 파악할 수 없도록 하여, 발신자 및 수신자 익명성을 유지한다.

실험 결과

연구 질문

• RQ1 사용자 및 서버 수에 따라 효율적으로 확장되면서도 통신 메타데이터에 대한 암호학적 프라이버시를 달성할 수 있는 메시징 시스템는 가능한가?
• RQ2 비용이 많이 들지 않는 계산 또는 대역폭 비용을 초래하지 않으면서도 확장 가능한 믹스넷 아키텍처에서 활성 서버 공격을 방지할 수 있는가?
• RQ3 모든 사용자 쌍이 체인 간에 교차하도록 보장하기 위해 필요한 최소 메시지 수는 얼마이며, 이를 어떻게 최적화할 수 있는가?
• RQ4 비용이 많이 드는 원리(예: PIR 또는 검증 가능한 셔플링)에 의존하는 이전 시스템과 비교해, 효율적인 암호학적 원리를 사용하는 시스템의 성능은 어떻게 되는가?
• RQ5 서버의 변화(Churn)가 시스템 가용성에 미치는 영향은 무엇이며, Pung이나 Atom과 비교해 어떻게 다른가?

주요 결과

• XRD는 100대의 서버만을 사용하여 200만 명의 사용자를 지원하며, 지연 시간은 251초로, Atom보다 12배 빠르고 Pung보다 3.7배 빠르다.
• 집합형 하이브리드 셔플링 기법은 빠른 암호학적 원리들만을 사용하여 효율적이고 검증 가능한 셔플링을 가능하게 하여, 검증 가능한 셔플링이나 개인 정보 검색의 오버헤드를 피한다.
• XRD는 서버의 일정 비율을 제어하는 적대자와 사용자 수에 제한이 없는 상황에서도 암호학적 프라이버시 보장을 달성하여, 메타데이터 泄露가 발생하지 않음을 보장한다.
• 시스템의 성능은 높은 서버 장애 발생률에 따라 떨어지며, 4%의 서버 장애 발생률로 인해 대화 실패율이 70%에 이를 정도로 영향을 받는다. 이는 장애 내성 개선이 필요함을 시사한다.
• 적은 수의 서버(수천 대 이하)에서의 배포 시, 유사한 프라이버시 보장을 제공하는 이전 시스템 대비 XRD는 낮은 지연 시간 덕분에 성능에서 뛰어난 성능을 보인다.
• 시스템의 설계는 다수의 1:1 체인을 통해 그룹 대화를 가능하게 하지만, 현재는 사용자가 동일한 체인에서 교차할 경우 병행되는 여러 대화를 처리할 수 없다.