[論文レビュー] Lower-Cost epsilon-Private Information Retrieval

Raphael R. Toledo, George Danezis+1 more|arXiv (Cornell University)|Apr 1, 2016

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（IT-PIR）のスケーラビリティの限界を解消すること。これは、データベースサイズに比例して計算コストと通信コストが急激に増加するため、スケーラブルでない。
• 不完全なプライバシーを捉え、軽量PIRプロトコルの定量的リスク分析を可能にする、柔軟な微分プライバシー定義を形式化すること。
• 敵対者が付加情報を持つ状況下で、ダミークエリや匿名チャネルのみを用いた危的プライベートクエリメカニズムが、提案された定義のもとで意味のあるプライバシーを提供しないことを示すこと。
• スパースPIRやサブセットPIRなどのPIRの変種を設計・分析し、$\epsilon$-プライベート定義を満たすとともに、匿名性システムと組み合わせることでほぼ完璧なプライバシーを達成できることを示すこと。
• 匿名チャネルを含む微分プライバシー系のための一般化された合成定理を提示し、モジュラーなプライバシー設計を可能にすること。

提案手法

• 敵対者の区別ゲームを用いた、プライベートクエリのゲームベースの微分プライバシー定義を導入し、漏洩量を定量的に測定する。
• $\epsilon$-プライベート定義のもとで、基本的なダミークエリおよび匿名チャネル手法の非安全性を分析し、敵対者が付加情報を保持している場合に破綻することを示す。
• アクセスするレコード数を減らす、またはスパースクエリベクトルを用いることで、最適化されたPIR方式（直接リクエスト、スパースPIR、サブセットPIR）を提案する。
• 合成補題を適用し、任意の$\epsilon$-プライベートPIRプロトコルを大規模な匿名性システムと組み合わせることで、近似的に完璧なプライバシーが達成されることを示し、匿名性集合が大きくなるに従い$\epsilon$が0に近づくことを示す。
• 古典的なチョア型IT-PIRを最適化し、接触するデータベース数を減らすことで、コストを$t/d$の割合で削減する。
• 証明書透明性に類似したパラメータを用いた実験的評価により、各方式および組み合わせにおける計算コスト$C_p$、通信コスト$C_m$、プライバシーパラメータ$\epsilon$を比較する。

実験結果

リサーチクエスチョン

• RQ1 ダミークエリや匿名チャネルに基づく軽量PIR方式は、形式的かつ定量的な脅威モデルのもとで、意味のあるプライバシーを提供できるか？
• RQ2 緩和されたPIRプロトコルにおけるプライバシー漏洩を捉え、測定可能な柔軟な微分プライバシー定義をどのように設計できるか？
• RQ3 敵対者が付加情報を保持している場合、ダミークエリや匿名チャネルのみを用いた単純なプライベートクエリメカニズムにどのようなセキュリティ的限界があるか？
• RQ4 大規模な匿名性システムと$\epsilon$-プライベートPIRを組み合わせることで、どの程度まで近似的に完璧なプライバシーを達成できるか？
• RQ5 スパースクエリや最小限のデータベース接触といった、さまざまなPIR最適化戦略は、計算コスト、通信コスト、プライバシーの間でどのようにトレードオフを生じるか？

主な発見

• 提案された定義のもとで、ダミークエリや匿名チャネルのみを用いた単純な手法は、敵対者が付加情報を保持している場合には$\epsilon$-プライベートセキュリティでさえも達成できない。
• スパースPIRおよびサブセットPIR方式は$\epsilon$-プライベートセキュリティを達成しており、アクセスするレコード数が増えるに従いプライバシー水準が0に収束する。
• 任意の$\epsilon$-プライベートPIRプロトコルを大規模な匿名性システムと組み合わせることで、任意に強いプライバシーが達成可能であり、匿名性集合サイズが大きくなるに従い$\epsilon$は0に近づく。
• 直接リクエスト方式はスパースPIRに比べ計算コスト$C_p$が低いが、通信コスト$C_m$が著しく高く、全体的な効率性に劣る。
• スパースPIRは直接リクエスト方式に比べ計算コストを$t/d$の割合で削減できるが、セキュリティを維持するためにはスパースパラメータ$\theta$の慎重なチューニングが必要である。
• 敵対者が半数のデータベースを制御するシステムでは、直接リクエスト方式のプライバシーパラメータ$\epsilon$は$p = d$で0に収束するが、スパースPIRでは$p = \frac{1}{2} \cdot d \cdot n$で収束するため、より柔軟なプライバシーのトレードオフが可能である。