[논문 리뷰] Single-Server Multi-Message Private Information Retrieval with Side Information

Li Su, Michael Gastpar|arXiv (Cornell University)|2018. 08. 17.

Cryptography and Data Security참고 문헌 14인용 수 7

한 줄 요약

이 논문은 측면 정보를 가진 단일 서버 다중 메시지 비공개 정보 검색을 연구하며, 요구 메시지 인덱스의 기밀성을 유지하면서 전송을 최소화하는 최적의 선형 코딩 체계를 제안한다. 주요 결과는 $N > M$ 또는 $N^2 + N \geq K - M$일 경우, $K-M$ 전송을 가지는 비어 있는 MDS 체계가 최적임을 보여주며, 이는 $\text{O}(\sqrt{K})$를 초과하는 메시지의 비공개 검색은 측면 정보를 제외한 전체 데이터베이스를 거의 다운로드해야 한다는 것을 의미한다.

ABSTRACT

We study the problem of single-server multi-message private information retrieval with side information. One user wants to recover $N$ out of $K$ independent messages which are stored at a single server. The user initially possesses a subset of $M$ messages as side information. The goal of the user is to download the $N$ demand messages while not leaking any information about the indices of these messages to the server. In this paper, we characterize the minimum number of required transmissions. We also present the optimal linear coding scheme which enables the user to download the demand messages and preserves the privacy of their indices. Moreover, we show that the trivial MDS coding scheme with $K-M$ transmissions is optimal if $N>M$ or $N^2+N \ge K-M$. This means if one wishes to privately download more than the square-root of the number of files in the database, then one must effectively download the full database (minus the side information), irrespective of the amount of side information one has available.

연구 동기 및 목표

• 사용자가 단일 서버로부터 $M$개의 측면 정보 메시지를 보유한 상태에서 $N$개의 메시지를 비공개적으로 검색하기 위해 필요한 최소 전송 수를 규명하는 것.
• 사용자가 측면 정보와 서버의 응답만을 사용하여 요구 메시지를 디코딩할 수 있도록 보장하는 최적의 선형 코딩 체계를 설계하는 것.
• 비어 있는 MDS 코딩 체계가 $K-M$ 전송을 통해 정보 이론적으로 최적임이 되는 조건을 설정하는 것.
• 서버가 요구 메시지의 인덱스에 관해 어떤 정보도 알 수 없도록 하는 비공개 제약 조건을 분석하는 것.

제안 방법

• 정확성과 기밀성 모두를 만족하는 최적의 선형 전송을 생성하기 위해 새로운 코딩 전략인 Partition-and-MDS-Coding을 제안한다.
• 조건부 엔트로피 분석과 메시지 의존성 그래프를 사용하여, 측면 정보와 요구 집합의 구조를 활용해 필요한 전송 수의 하한을 유도한다.
• 조합론적 추론을 적용하여 $N > M$ 또는 $N^2 + N \geq K - M$일 경우, 기밀성을 유지하기 위해 유일하게 $K-M$개 메시지를 전송해야 하며, 이는 측면 정보를 제외한 전체 데이터베이스를 다운로드하는 것과 동일하다는 것을 보여준다.
• asymptotic 분석을 $L \to \infty$의 극한에서 적용하여 $K > N^2 + N + M$일 때 최소 전송 수의 닫힌 형태 표현식을 유도한다: $\left\lceil \frac{K - M - N^2}{N + \lfloor M/N \rfloor} \right\rceil + \text{조정사항}$.
• 중복된 전송 그룹에서 디코딩되는 메시지 집합이 겹치지 않아야 함을 보여주며, 이는 부작용을 방지하고 최적성을 유지하기 위함이다 ($\mathbf{Y}_i \cap \mathbf{Y}_j = \emptyset$).
• 어느 메시지가 여러 전송 집합에서 디코딩 가능할 경우, 비용 증가 없이 한 집합에서 제거할 수 있으며, 이는 최적의 표준 형태를 이끌어낸다.

실험 결과

연구 질문

• RQ1 사용자가 단일 서버로부터 $M$개의 측면 정보 메시지를 보유한 상태에서 $N$개의 메시지를 비공개적으로 검색하기 위해 필요한 최소 전송 수는 얼마인가?
• RQ2 비어 있는 MDS 코딩 체계가 $K-M$ 전송을 통해 비공개 검색에 최적임이 되는 조건은 무엇인가?
• RQ3 요구 메시지의 정확한 디코딩과 그 인덱스의 완벽한 기밀성을 보장하는 선형 코딩 체계를 구성할 수 있는가?
• RQ4 $N$, $M$, $K$ 간의 관계가 단일 서버 다중 메시지 PIR에서 전송 비용과 기밀성 간의 트레이드오프에 어떻게 영향을 미치는가?
• RQ5 측면 정보가 존재하는 조건에서 최적성과 기밀성을 확보하기 위해 전송 그룹이 만족해야 할 구조적 제약 조건은 무엇인가?

주요 결과

• 요청 메시지의 수가 $\text{O}(\sqrt{K})$를 초과할 경우, 즉 $N > M$ 또는 $N^2 + N \geq K - M$일 경우, 필요한 최소 전송 수는 $K - M$이며, 이는 측면 정보를 제외한 전체 데이터베이스를 거의 다운로드해야 함을 의미한다.
• 이 조건 하에서 비어 있는 MDS 코딩 체계는 제공된 측면 정보의 양과 관계없이 정보 이론적으로 최적이다.
• $K > N^2 + N + M$일 경우 최소 전송 비용의 닫힌 형태 표현식이 $\left\lceil \frac{K - M - N^2}{N + \lfloor M/N \rfloor} \right\rceil$로 유도되며, 잔여 메시지에 대한 추가 조정이 필요하다.
• 제안된 Partition-and-MDS-Coding 체계는 디코딩 집합 간의 상호배타성과 중복 전송의 최소화를 통해 최적성을 달성한다.
• 기밀성이 유지되기 위해서는 어떤 메시지도 겹치는 전송 그룹에서 디코딩될 수 없어야 하며, 그렇지 않으면 비용 증가 없이 체계를 단순화할 수 있다.
• $K \leq N^2 + N + M$일 경우, 모든 조건부 엔트로피가 초기 측면 정보를 제외하고 0이 되며, 이는 전송 수가 $K - M$가 되도록 강제한다.