[논문 리뷰] The Capacity of Robust Private Information Retrieval with Colluding Databases

Hua Sun, Syed A. Jafar|arXiv (Cornell University)|2016. 05. 02.

Cryptography and Data Security참고 문헌 29인용 수 35

한 줄 요약

이 논문은 M ≥ N개의 데이터베이스에서 작동하는 강건한 T-비밀 T-개인정보보호 정보검색(PIR)의 정보이론적 용량을 규명한다. 여기서 최대 M−N개의 데이터베이스가 응답하지 않을 수 있으며, 어떤 T개의 데이터베이스도 공모할 수 있다. 용량은 (1 + T/N + T²/N² + ⋯ + T^{K−1}/N^{K−1})^{-1}로 나타나며, 이는 데이터베이스 장애에 대한 강건성 조건이 표준 T-비밀 PIR에 비해 용량 손실을 초래하지 않음을 증명한다.

ABSTRACT

Private information retrieval (PIR) is the problem of retrieving as efficiently as possible, one out of $K$ messages from $N$ non-communicating replicated databases (each holds all $K$ messages) while keeping the identity of the desired message index a secret from each individual database. The information theoretic capacity of PIR (equivalently, the reciprocal of minimum download cost) is the maximum number of bits of desired information that can be privately retrieved per bit of downloaded information. $T$-private PIR is a generalization of PIR to include the requirement that even if any $T$ of the $N$ databases collude, the identity of the retrieved message remains completely unknown to them. Robust PIR is another generalization that refers to the scenario where we have $M \geq N$ databases, out of which any $M - N$ may fail to respond. For $K$ messages and $M\geq N$ databases out of which at least some $N$ must respond, we show that the capacity of $T$-private and Robust PIR is $\left(1+T/N+T^2/N^2+\cdots+T^{K-1}/N^{K-1} ight)^{-1}$. The result includes as special cases the capacity of PIR without robustness ($M=N$) or $T$-privacy constraints ($T=1$).

연구 동기 및 목표

• 모든 T개의 데이터베이스가 공모할 수 있는 조건에서 T-비밀 PIR의 정보이론적 용량을 특성화하는 것.
• M ≥ N개의 데이터베이스가 가용하나, 반드시 응답하는 N개의 데이터베이스만 확보되는 경우로 분석을 확장하는 것.
• 응답하지 않을 수 있는 데이터베이스의 존재가 T-비밀 PIR의 구현 가능한 용량에 영향을 미치는지 규명하는 것.
• 강건성 조건 하에서도 용량이 그대로 유지됨을 입증하는 것. 특히, 응답할 N개의 데이터베이스가 어느 것인지 불확실하더라도 마찬가지로 성립한다.
• 공모 가능한 데이터베이스가 존재하는 상황에서 T-비밀 조건을 만족하기 위해 MDS 코딩된 보조 정보가 필수적임을 규명하는 것.

제안 방법

• 모든 가능한 데이터베이스 공모 조합에 대해 T-비밀 조건을 만족시키기 위해 MDS 코딩된 보조 정보를 사용하는 새로운 구현 가능한 기법을 제안한다.
• 유한체 위에서 MDS 코드를 기반으로 쿼리를 구성하여, 각각의 T개 데이터베이스로 구성된 공모 집합이 쿼리 기호의 동일한 분포를 관찰하도록 보장한다.
• T개의 데이터베이스로 구성된 모든 공모 집합에 대해 비밀 유지 조건을 만족시키기 위해 (M/T * α_i, α_i) MDS 코드의 생성 행렬을 사용하여 코딩된 보조 정보 기호를 생성한다.
• 인덱스 벡터와 부분행렬 표기법을 활용하여 쿼리 기호의 데이터베이스 간 분포를 추적하고 정확한 복구를 보장한다.
• 역방향 증명을 적용하여 유도된 속도가 최적임을 증명하며, 주어진 조건 하에서는 어떤 방법도 더 높은 속도를 달성할 수 없음을 보여준다.
• 표준 T-비밀 PIR와 강건한 T-비밀 PIR 모두에서 동일한 용량이 달성됨을 보여주며, 이는 데이터베이스 장애 처리에 대한 비용이 없음을 의미한다.

실험 결과

연구 질문

• RQ1 어떤 T개의 데이터베이스가 공모할 수 있는 상황에서 T-비밀 PIR의 정보이론적 용량은 무엇인가?
• RQ2 응답하지 않을 수 있는 데이터베이스(강건성 조건)의 존재가 T-비밀 PIR의 용량을 감소시키는가?
• RQ3 단일 기법이 효율성 손실 없이 T-비밀성과 강건성을 동시에 달성할 수 있는가?
• RQ4 왜 T-비밀 조건을 만족시키기 위해 MDS 코딩된 보조 정보가 필수이며, 비코딩된 방법은 실패하는가?
• RQ5 강건한 T-비밀 PIR의 용량은 표준 T-비밀 PIR와 동일한가?

주요 결과

• K개의 메시지와 N개의 데이터베이스를 가진 T-비밀 PIR의 용량은 (1 + T/N + T²/N² + ⋯ + T^{K−1}/N^{K−1})^{-1}이다.
• M ≥ N개의 데이터베이스에서 최대 M−N개가 장애를 일으킬 수 있는 강건한 T-비밀 PIR의 용량은 (1 + T/N + T²/N² + ⋯ + T^{K−1}/N^{K−1})^{-1}로 그대로 유지된다.
• 용량은 MDS 코딩된 보조 정보를 통해 달성되며, 이는 모든 공모 집합에서 T-비밀 조건을 만족시키기 위해 필수적이다.
• 역방향 증명은 ε-오차 프레임워크로도 직접적으로 확장되며, 이는 ε-오차 용량이 영오차 용량과 동일함을 의미한다.
• 구현 가능한 기법은 메시지 부분집합에 투영되어도 여전히 용량을 달성하며, 최적성은 유지된다.
• F₂에서의 개선된 예시를 통해 기호 그룹화와 필드 크기 최적화를 통해 업로드 비용을 크게 줄일 수 있음을 보여주었다.