[논문 리뷰] On the Information Leakage in Private Information Retrieval Systems

Tao Guo, Ruida Zhou외 1명|arXiv (Cornell University)|2019. 09. 25.

Cryptography and Data Security참고 문헌 41인용 수 8

한 줄 요약

이 논문은 프라이빗 인포메이션 리trieval(PIR) 시스템에서 다운로드 비용과 정보 누출 간의 트레이드오프를 분석하며, 개별 메시지 누출(비요청 메시지당)과 총 누출(모든 비요청 메시지에 대한 합)이라는 두 가지 누출 메트릭을 도입한다. 이들 누출 제약 조건 하에서 다운로드 비용을 최소화하는 최적의 코딩 체계를 제안하며, K > 2일 때는 공통 난수가 개별 누출에 대해 필요하지 않음을 보이며, 최소 메시지 크기로 최적의 트레이드오프를 확립한다.

ABSTRACT

We consider information leakage to the user in private information retrieval (PIR) systems. Information leakage can be measured in terms of individual message leakage or total leakage. Individual message leakage, or simply individual leakage, is defined as the amount of information that the user can obtain on any individual message that is not being requested, and the total leakage is defined as the amount of information that the user can obtain about all the other messages except the one being requested. In this work, we characterize the tradeoff between the minimum download cost and the individual leakage, and that for the total leakage, respectively. New codes are proposed to achieve these optimal tradeoffs, which are also shown to be optimal in terms of the message size. We further characterize the optimal tradeoff between the minimum amount of common randomness and the total leakage. Moreover, we show that under individual leakage, common randomness is in fact unnecessary when there are more than two messages.

연구 동기 및 목표

• 완전한 프라이버시(SPIR)와 프라이버시 없음(고전적 PIR)의 극단을 넘어서 PIR 시스템에서 다운로드 비용과 정보 누출 간의 트레이드오프를 이해하기 위해.
• 개별 메시지 누출(비요청 메시지당)과 총 누출(모든 비요청 메시지에 대한 합)이라는 두 가지 다른 누출 메트릭을 정의하고 분석하기 위해.
• 다운로드 비용과 누출 간의 최적 트레이드오프를 달성하는 코딩 체계를 설계하며, 메시지 크기를 최소화하기 위해.
• 특히 K > 2일 때, 개별 누출 제약 조건 하에서 공통 난수가 필요한지 여부를 규명하기 위해.
• PIR 시스템에서 공통 난수와 총 누출 간의 최적 트레이드오프를 규명하기 위해.

제안 방법

• 샤논 엔트로피를 사용하여 정보 누출을 정량화하는 새로운 프레임워크를 제안하며, 비요청 메시지와 사용자 뷰 사이의 상호정보량으로 개별 누출을 정의하고, 모든 이러한 상호정보량의 합으로 총 누출을 정의한다.
• 기존의 PIR 및 SPIR에 관한 연구에서 유래한 코딩 구성 기법을 응용하여, 개별 누출 및 총 누출 제약 조건 하에서 최적의 트레이드오프를 달성한다.
• 대칭적 쿼리 분포와 데이터베이스 간 동일한 분포 제약 조건을 도입하여 공정성과 분석의 단순화를 확보한다.
• 엔트로피 부등식과 모순 추론을 활용하여 누출에 대한 하한을 유도하며, 특히 쿼리 실현 구조와 응답 길이의 특성을 활용한다.
• 마르코프 체인과 대칭성을 활용한 재귀적 엔트로피 추론 기법을 도입하여 누출 및 메시지 크기의 하한을 증명한다.
• K > 2인 개별 누출의 경우, 완전 보안 SPIR와 달리 공통 난수가 필요하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 PIR 시스템에서 다운로드 비용과 개별 메시지 누출 간의 최적 트레이드오프는 무엇인가?
• RQ2 총 누출 제약 조건은 PIR에서 달성 가능한 최소 다운로드 비용에 어떻게 영향을 미치는가?
• RQ3 특히 K > 2일 때, 개별 메시지 누출 제약 조건을 적용할 경우 공통 난수를 제거할 수 있는가?
• RQ4 PIR 시스템에서 공통 난수의 양과 총 누출 간의 최적 트레이드오프는 무엇인가?
• RQ5 제안된 코딩 체계는 동일한 누출 제약 조건 하에서 기존의 구성과 비교해 메시지 크기가 어떻게 되는가?

주요 결과

• K > 2일 때는 공통 난수가 필요하지 않으며, 메시지 크기 최적화를 달성하는 코딩 체계가 개별 누출과 다운로드 비용 간의 최적 트레이드오프를 동시에 달성한다.
• 개별 누출 조건 하에서 최소 다운로드 비용은 완전 총 보안 조건과 동일하며, 이는 더 강력한 보안 제약 조건이 통신 비용을 증가시키지 않음을 시사한다.
• 영업량 누출이 0인 극단적인 경우, 제안된 체계는 고전적 PIR 및 SPIR과 동일한 다운로드 비용을 달성하여 기존의 용량 한계와의 일관성을 확인한다.
• 메시지 크기 제약 조건이 개별 누출 하한을 위반할 경우 모순이 유도되며, 이는 유도된 메시지 크기 하한이 날카로운(정확한) 것을 증명한다.
• 공통 난수와 총 누출 간의 최적 트레이드오프가 규명되었으며, 공통 난수가 증가할수록 총 누출이 감소함을 보였다.
• 논문은 개별 누출 조건 하에서 K > 2일 때 공통 난수가 불필요하다는 것을 증명하였으며, 이는 시스템 설계를 단순화하고 자원 오버헤드를 감소시킨다.