[논문 리뷰] Anonymous Information Delivery.

Hua Sun|arXiv (Cornell University)|2018. 06. 14.

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

한 줄 요약

이 논문은 사용자가 $K$개의 메시지 중 하나를 $N$개의 서버에서 가져오되, 어떤 메시지를 가져왔는지 노출하지 않는 익명 정보 전달(Anonymous Information Delivery, AID) 문제를 제안한다. $K/M$ 가 정수일 경우 AID의 정보론적 용량을 $C = M/K$ 로 규명하고, 비정수인 $K/M$ 에 대해서는 날카러진 경계와 최적의 방법을 제시하여 여러 핵심 케이스에서 용량을 해결한다.

ABSTRACT

We introduce the problem of anonymous information delivery (AID), comprised of $K$ messages, a user, and $N$ servers (each holds $M$ messages) that wish to deliver one out of $K$ messages to the user anonymously, i.e., without revealing the delivered message index to the user. This AID problem may be viewed as the dual of the private information retrieval problem. The information theoretic capacity of AID, $C$, is defined as the maximum number of bits of the desired message that can be anonymously delivered per bit of total communication to the user. For the AID problem with $K$ messages, $N$ servers, $M$ messages stored per server, and $N \geq \lceil \frac{K}{M} ceil$, we provide an achievable scheme of rate $1/\lceil \frac{K}{M} ceil$ and an information theoretic converse of rate $M/K$, i.e., the AID capacity satisfies $1/\lceil \frac{K}{M} ceil \leq C \leq M/K$. This settles the capacity of AID when $\frac{K}{M}$ is an integer. When $\frac{K}{M}$ is not an integer, we show that the converse rate of $M/K$ is achievable if $N \geq \frac{K}{\gcd(K,M)} - (\frac{M}{\gcd(K,M)}-1)(\lfloor \frac{K}{M} floor -1)$, and the achievable rate of $1/\lceil \frac{K}{M} ceil$ is optimal if $N = \lceil \frac{K}{M} ceil$. Otherwise if $\lceil \frac{K}{M} ceil < N < \frac{K}{\gcd(K,M)} - (\frac{M}{\gcd(K,M)}-1)(\lfloor \frac{K}{M} floor -1)$, we give an improved achievable scheme and prove its optimality for several small settings.

연구 동기 및 목표

• 익명 정보 전달(AID) 문제를 사생활 보장 정보 검색의 이중성으로서 정식화하고 분석한다.
• AID의 정보론적 용량 $C$ 를 규명한다. 여기서 $C$ 는 총 통신 비트 수 대비 전달된 목적 메시지의 최대 비트 수로 정의된다.
• 다양한 구성 조건인 $K$개의 메시지, $N$개의 서버, 서버당 $M$개의 메시지에 대해 익명 메시지 전달의 최적 비율을 규명한다.
• 특히 $K/M$ 가 정수가 아닐 경우 가시 가능한 비율과 반대 경계 사이의 격차를 좁힌다.

제안 방법

• 구조화된 서버 메시지 할당과 사용자 쿼리 설계를 통해 비율 $1/\lceil K/M \rceil$ 을 달성하는 AID의 가능 방법을 제안한다.
• 정보 이론적 추론을 통해 $M/K$ 의 반대 경계를 유도하여 AID 용량의 상한선을 확립한다.
• 특수 조건을 만족할 경우, $\lceil K/M \rceil < N < \frac{K}{\gcd(K,M)} - (\frac{M}{\gcd(K,M)}-1)(\lfloor K/M \rfloor -1)$ 인 경우에 대해 개선된 가능 방법을 제안하며, 기본 비율을 초월한다.
• K와 M의 조합 및 모듈로 산술 성질을 활용하여 통신을 최소화하면서도 익명성을 유지하는 방법을 설계한다.
• 사생활 보장 정보 검색에서 유래한 메시지 정렬 및 간섭 관리 개념을 이중적인 익명 전달 환경에 적응하여 적용한다.
• N = \lceil K/M \rceil 인 경우에 대해 제안된 방법의 최적성을 증명하며, 어떤 방법도 $1/\lceil K/M \rceil$ 의 비율을 초과할 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 K/M 가 정수일 경우 익명 정보 전달의 정보론적 용량은 무엇인가?
• RQ2 K/M 가 정수가 아닐 경우, 반대 경계 $M/K$ 는 어떤 조건에서 달성 가능한가? 특히 N에 대한 조건은 무엇인가?
• RQ3 N = \lceil K/M \rceil 일 때, 비율 $1/\lceil K/M \rceil$ 이 최적인가?
• RQ4 비정수 $K/M$ 영역에서 서버 수 $N$ 이 최적 비율에 어떤 영향을 미치는가?
• RQ5 \lceil K/M \rceil 와 $M/K$ 반대 경계를 달성할 수 있는 임계값 사이의 중간 $N$ 값에 대해 개선된 방법을 구성할 수 있는가?

주요 결과

• K/M 가 정수일 경우 AID 용량은 정확히 $C = M/K$ 이며, 이 비율은 달성 가능하고 최적이다.
• 비정수 $K/M$ 인 경우, $N \geq \frac{K}{\gcd(K,M)} - (\frac{M}{\gcd(K,M)}-1)(\lfloor K/M \rfloor -1)$ 를 만족할 경우 반대 경계 비율 $M/K$ 가 달성 가능하다.
• N = \lceil K/M \rceil 일 경우, 달성 가능한 비율 $1/\lceil K/M \rceil$ 는 최적이며, 이는 이 영역에서 경계의 날카러움을 증명한다.
• \lceil K/M \rceil < N < \frac{K}{\gcd(K,M)} - (\frac{M}{\gcd(K,M)}-1)(\lfloor K/M \rfloor -1) 인 경우에 대해 개선된 가능 방법을 구성하였으며, 여러 소규모 설정에서 최적 비율을 달성한다.
• 논문은 정수 $K/M$ 경우에 AID 용량이 완전히 규명되었고, 비정수 경우에도 $N$ 에 대한 명시적 조건 하에서 부분적으로 해결되었음을 규명한다.
• 결과적으로 AID의 이중성—익명 전달 대비 사생활 보장 검색—은 대칭적인 용량 경계를 이끌어내며, 특정 서버 가용성 제약 조건 하에서 $M/K$ 가 기본 한계로 작용한다.