[論文レビュー] Oblivious Query Processing

Arvind Arasu, Raghav Kaushik|arXiv (Cornell University)|Dec 14, 2013

Cryptography and Data Security参考文献 18被引用数 28

ひとこと要約

この論文は、暗号化されたデータ上の安全なデータベースクエリ実行のための形式的枠組み、すなわちアクセスパターンの漏洩を防ぐべきオーバリアスクエリ処理を導入する。安全なクエリ処理がオーバリアスクエリ処理と同等であることを証明し、選択、結合、グループ化、集計を含む広範なクエリクラスに対して効率的なアルゴリズムを提示する。一方、3SUMのような難しい問題への還元により、循環的結合のような特定の複雑なクエリは、効率的なオーバリアス解法を有しない可能性が高いことが示されている。

ABSTRACT

Motivated by cloud security concerns, there is an increasing interest in database systems that can store and support queries over encrypted data. A common architecture for such systems is to use a trusted component such as a cryptographic co-processor for query processing that is used to securely decrypt data and perform computations in plaintext. The trusted component has limited memory, so most of the (input and intermediate) data is kept encrypted in an untrusted storage and moved to the trusted component on ``demand.'' In this setting, even with strong encryption, the data access pattern from untrusted storage has the potential to reveal sensitive information; indeed, all existing systems that use a trusted component for query processing over encrypted data have this vulnerability. In this paper, we undertake the first formal study of secure query processing, where an adversary having full knowledge of the query (text) and observing the query execution learns nothing about the underlying database other than the result size of the query on the database. We introduce a simpler notion, oblivious query processing, and show formally that a query admits secure query processing iff it admits oblivious query processing. We present oblivious query processing algorithms for a rich class of database queries involving selections, joins, grouping and aggregation. For queries not handled by our algorithms, we provide some initial evidence that designing oblivious (and therefore secure) algorithms would be hard via reductions from two simple, well-studied problems that are generally believed to be hard. Our study of oblivious query processing also reveals interesting connections to database join theory.

研究の動機と目的

• クラウドベースの暗号化データベースシステムにおける動的情報漏洩を解消すること。ここでは、強力な暗号化であってもアクセスパターンが機密データを露呈する可能性がある。
• 敵対者がクエリ実行パターンから得られる情報が結果のサイズ以外に一切ないという強いセキュリティモデル、すなわちオーバリアスクエリ処理を形式化すること。
• 選択、結合、グループ化、集計を含む、関係的クエリの豊富なクラスに対して、効率的なオーバリアスクエリ処理アルゴリズムを開発すること。
• サポート範囲外のクエリに対して理論的難解性を確立し、標準的な複雑性仮定のもとで、効率的なオーバリアス処理が困難であることを示すこと。
• オーバリアスクエリ処理とデータベース結合理論との間の関係、特に循環的結合と集合積集合の文脈における関係を明らかにすること。

提案手法

• クエリ実行中のデータアクセスパターンが入力データに依存しないという形式的セキュリティモデルとして、オーバリアスクエリ処理の概念を導入する。
• クエリが安全なクエリ処理を許容するための必要十分条件が、オーバリアスクエリ処理を許容することであることを証明し、両者の概念の同等性を確立する。
• 選択、等結合、グループ化、集計といった基本的な関係演算に対して、アクセスパターンを隠蔽する技術を用いてオーバリアスアルゴリズムを設計する。
• 既知の難解問題（特に3SUMおよび集合積集合の列挙）からの還元を用いて、特定のクエリ（例：循環的結合、多関係グループ化）が効率的なオーバリアスアルゴリズムを有しない可能性が高いことを示す。
• 特に結合の非循環性と結合ハイパーグラフ構造を含む理論的データベース理論を活用し、どのクエリが効率的なオーバリアス処理を許容するかを特徴付ける。
• 限定されたメモリを備えた信頼できるハードウェアコンponentを用いてモデルを形式化し、データは信頼できないストレージからオンデマンドで移動される。すべてのアクセスパターンがデータに依存しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 暗号化データベースにおいて、敵対者が実行トレースを観測してもアクセスパターンの漏洩を防げる安全なクエリ処理モデルを設計できるか？
• RQ2 どのクエリがオーバリアスに処理可能かを形式的に特徴づけることは可能か？ そしてこれは既知の計算難解性とどのように関係するか？
• RQ3 等結合、グループ化、集計といった一般的な関係演算に対して、暗号化データ上で効率的なオーバリアスアルゴリズムが存在するか？
• RQ4 循環的結合や多関係グループ化のような特定の複雑なクエリに対して、標準的な複雑性仮定のもとで、効率的なオーバリアスアルゴリズムが存在しないことを証明できるか？
• RQ5 オーバリアスクエリ処理と古典的データベース理論との間にどのような関係があるか？ 特に結合ハイパーグラフ構造と非循環性の文脈で。

主な発見

• オーバリアスクエリ処理は安全なクエリ処理と形式的に同等である。クエリが安全に処理可能であるための必要十分条件は、オーバリアスアルゴリズムが存在することである。
• 選択、等結合、グループ化、集計を含む広範なクエリクラスに対して、実世界のワークロードで実用的な性能バインドを持つ効率的なオーバリアスアルゴリズムが提示されている。
• インスタンス効率的な時間で循環的結合クエリをオーバリアスに評価することは、3SUM-Cache(δ)に対してサブクアドレティックなアルゴリズムをもたらすため、極めて困難であることが示されている。この問題は広く難解であると信じられている。
• 集合積集合の列挙から多関係グループ化クエリへの還元により、このようなクエリに対して効率的なオーバリアスアルゴリズムが存在すれば、集合積集合の高速なアルゴリズムが得られることを示しており、これは現在未知である。
• 本研究は、オーバリアスクエリ処理とデータベース結合理論との間に深い関係があることを明らかにした。特に、結合の非循環性とハイパーグラフ構造が、実行可能性を決定づける役割を果たす。
• 結果として、多くの標準的なクエリは安全にオーバリアスに処理可能であるが、複雑または循環的なクエリは、根本的な計算難解性のため、効率的なオーバリアス処理に inherently 阻害される可能性がある。