[논문 리뷰] Lower-Cost epsilon-Private Information Retrieval

Raphael R. Toledo, George Danezis외 1명|arXiv (Cornell University)|2016. 04. 01.

Cryptography and Data Security참고 문헌 25인용 수 3

한 줄 요약

이 논문은 저비용으로 확장 가능한 개인 정보 기반 데이터베이스 액세스를 가능하게 하기 위해 $\epsilon$-개인 정보 검색(PIR)을 위한 유연한 차별적 비밀 보장 정의를 제안한다. 난수나 익명 채널을 단독으로 사용하는 간단한 기법들은 안전하지 않음을 보여주며, 이들을 대규모 익명성 시스템과 조합하면 임의로 강력한 비밀 보장을 얻을 수 있다. 이는 계산 비용이 높은 IT-PIR의 보편적인 보안 보장을 갖는 실용적인 대안을 제공한다.

ABSTRACT

Private Information Retrieval (PIR), despite being well studied, is computationally costly and arduous to scale. We explore lower-cost relaxations of information-theoretic PIR, based on dummy queries, sparse vectors, and compositions with an anonymity system. We prove the security of each scheme using a flexible differentially private definition for private queries that can capture notions of imperfect privacy. We show that basic schemes are weak, but some of them can be made arbitrarily safe by composing them with large anonymity systems.

연구 동기 및 목표

• 기존 정보 이론적 PIR의 확장성 한계를 해결하기 위해, 데이터베이스 크기에 따라 계산 및 통신 비용이 급격히 증가하는 문제를 해결한다.
• 불완전한 비밀 보장을 수용하고 경량 PIR 프로토콜의 정량적 위험 분석을 가능하게 하는, 민감한 비밀 보장 정의를 공식화한다.
• 적대자가 부가 정보를 확보하고 있을 경우, 단순한 비밀 보장 메커니즘(예: 난수 쿼리 또는 익명 채널)이 제안된 정의 하에서 의미 있는 비밀 보장을 제공하지 못함을 입증한다.
• Sparse-PIR, Subset-PIR 등의 PIR 변형을 설계하고 분석하여 $\epsilon$-개인 정보 기반 정의를 충족시키며, 익명성 시스템과 조합해 근접한 완벽한 비밀 보장을 달성할 수 있음을 보여준다.
• 익명성 채널을 포함한 차별적 비밀 보장 시스템에 대한 일반적인 조합 정리(정리)를 제시하여 모듈러 비밀 보장 설계를 가능하게 한다.

제안 방법

• 적대자 구별 게임을 기반으로 한 게임 기반 차별적 비밀 보장 정의를 도입하여, 유출량을 정량화한다.
• $\epsilon$-개인 정보 기반 정의 하에서 기본적인 난수 쿼리 및 익명 채널 기법의 부정확성을 분석하여, 적대자가 부가 정보를 확보하고 있을 경우 실패함을 보여준다.
• 서버당 접근하는 레코드 수를 줄이거나 희소 쿼리 벡터를 사용함으로써 최적화된 PIR 기법(직접 요청, Sparse-PIR, Subset-PIR)을 제안한다.
• 조합 보조 정리를 적용하여, 임의의 $\epsilon$-개인 정보 기반 PIR 프로토콜을 대규모 익명성 시스템과 조합할 경우, 익명성 집합이 커질수록 $\epsilon$이 0에 수렴하는 근접한 완벽한 비밀 보장을 달성할 수 있음을 보여준다.
• 기존의 Chor 유형의 IT-PIR를 최적화하여 접촉하는 데이터베이스 수를 줄여, 비용을 $t/d$ 배 감소시켰다.
• 증명된 평가를 통해 인증 전문성 기반 파rameter를 사용하여 계산 비용 $C_p$, 통신 비용 $C_m$, 비밀 보장 파라미터 $\epsilon$을 각 기법과 조합 방식 간 비교하였다.

실험 결과

연구 질문

• RQ1 난수 쿼리나 익명 채널 기반의 경량 PIR 기법이 공식적이고 정량화 가능한 위협 모델 하에서 의미 있는 비밀 보장을 제공할 수 있는가?
• RQ2 유연한 차별적 비밀 보장 정의는 어떻게 설계되어야 하며, 이는 느슨한 PIR 프로토콜의 비밀 유출를 측정하고 포착할 수 있는가?
• RQ3 적대자가 부가 정보를 확보하고 있을 경우, 단순한 비밀 보장 메커니즘의 보안 한계는 무엇인가?
• RQ4 큰 익명성 시스템과 $\epsilon$-개인 정보 기반 PIR를 조합할 경우, 얼마나 근접한 완벽한 비밀 보장을 달성할 수 있는가?
• RQ5 희소 쿼리나 감소된 데이터베이스 접촉 수 등의 다양한 PIR 최적화 전략은 계산 비용, 통신 비용, 비밀 보장 간에 어떻게 상호 보완적인가?

주요 결과

• 제안된 정의 하에서 단순히 난수 쿼리나 익명 채널만 사용하는 기법은 특히 적대자가 부가 정보를 확보하고 있을 경우 $\epsilon$-개인 정보 기반 보호 조차도 달성하지 못한다.
• Sparse-PIR 및 Subset-PIR 기법은 $\epsilon$-개인 정보 기반 보호를 달성하며, 접근하는 레코드 수가 증가할수록 비밀 보장 수준이 0으로 수렴한다.
• 임의의 $\epsilon$-개인 정보 기반 PIR 프로토콜을 대규모 익명성 시스템과 조합할 경우, 익명성 집합 크기가 커질수록 $\epsilon$이 0에 수렴하는 임의로 강력한 비밀 보장을 달성할 수 있다.
• 직접 요청 기법은 Sparse-PIR보다 계산 비용 $C_p$가 낮지만, 통신 비용 $C_m$이 크게 증가하여 전체적으로는 효율성이 떨어진다.
• Sparse-PIR는 Direct Request 대비 계산 비용을 $t/d$ 배 감소시키지만, 보안을 유지하기 위해 희소성 파라미터 $\theta$를 신중히 조정할 필요가 있다.
• 적대자가 반수의 데이터베이스를 제어하는 시스템에서, Direct Request의 비밀 보장 파라미터 $\epsilon$은 $p = d$일 때 0으로 수렴하지만, Sparse-PIR는 $p = \frac{1}{2} \cdot d \cdot n$일 때 수렴함을 보여주어 더 민감한 비밀 보장 트레이드오프를 가능하게 한다.