[論文レビュー] IHOP: Improved Statistical Query Recovery against Searchable Symmetric Encryption through Quadratic Optimization

Simon Oya, Florian Kerschbaum|arXiv (Cornell University)|Oct 8, 2021

Cryptography and Data Security参考文献 35被引用数 8

ひとこと要約

IHOP は、検索可能な対称暗号（SSE）に対する新しい統計的クエリ回復攻撃であり、クエリ回復を反復的に解く線形割り当てサブ問題を用いて解く二次計画問題として定式化する。体積、頻度、共起情報を利用することで、従来の統計ベースの攻撃を上回り、完全な漏洩設定ではほぼ完璧な正確性（最大99％）を達成し、アクセスパターンの隠蔽や頻度のみの漏洩においても、既存の手法を著しく上回る性能を発揮する。

ABSTRACT

Effective query recovery attacks against Searchable Symmetric Encryption (SSE) schemes typically rely on auxiliary ground-truth information about the queries or dataset. Query recovery is also possible under the weaker statistical auxiliary information assumption, although statistical-based attacks achieve lower accuracy and are not considered a serious threat. In this work we present IHOP, a statistical-based query recovery attack that formulates query recovery as a quadratic optimization problem and reaches a solution by iterating over linear assignment problems. We perform an extensive evaluation with five real datasets, and show that IHOP outperforms all other statistical-based query recovery attacks under different parameter and leakage configurations, including the case where the client uses some access-pattern obfuscation defenses. In some cases, our attack achieves almost perfect query recovery accuracy. Finally, we use IHOP in a frequency-only leakage setting where the client's queries are correlated, and show that our attack can exploit query dependencies even when PANCAKE, a recent frequency-hiding defense by Grubbs et al., is applied. Our findings indicate that statistical query recovery attacks pose a severe threat to privacy-preserving SSE schemes.

研究の動機と目的

• 真の知識に依存しない、SSE方式に対するより効果的な統計的クエリ回復攻撃の開発。
• 従来の統計的攻撃が同時に体積共起や頻度共起項を活用できないという限界を解決すること。
• アクセスパターンの隠蔽や頻度のみの漏洩を含む現実的な漏洩設定下でのIHOPの有効性の評価。
• 最近の防御策（例：パンケーキ）がクエリ相関が存在する場合に統計的クエリ回復に対して脆弱であるかどうかの調査。

提案手法

• IHOP は、体積、頻度、共起項を組み合わせた最尤推定に基づく二次計画問題としてクエリ回復を定式化する。
• クエリとキーワードの最適マッチングを近似するために、線形割り当て問題の系列を解く反復的ヒューリスティックを用いる。
• 大規模なキーワードユニバースにスケーリング可能であり、GraphMで使用されたPATHのような従来の二次計画ソルバーよりも高速に収束する、効率的な最適線形ソルバを活用する。
• クエリの共有ドキュメント数（体積漏洩）とクエリ頻度（頻度漏洩）の両方を統合し、回復精度を向上させる。
• クライアント行動をマルコフ過程としてモデル化することでクエリ依存性を扱い、相関するクエリパターンを推定可能にする。
• 五つの実世界データセットを対象に、完全なアクセスパターン漏洩やパンケーキによる隠蔽を含むさまざまな漏洩設定下で評価されている。

実験結果

リサーチクエスチョン

• RQ1 体積と共起、頻度共起を同時にモデル化することで、従来の手法よりも高い正確性を達成できるか？
• RQ2 Gentry らや Grubbs らが提唱したアクセスパターンの隠蔽防御下でも、IHOP はどのように性能を発揮するか？
• RQ3 体積漏洩が存在しない状況で、特にパンケーキ防御が適用された場合に、IHOP はクエリ相関を効果的に活用できるか？
• RQ4 クライアントのクエリに相関がある場合に、パンケーキの周波数平滑化防御は統計的クエリ回復に対して十分な保護を提供するか？
• RQ5 キーワードユニバースのサイズやクエリ数の増加に伴い、IHOP の性能はどのようにスケーリングするか？

主な発見

• Lucene データセット（1,000キーワード）において、完全なアクセスパターン漏洩下でIHOPは約99％のクエリ回復正確性を達成した。これに対してGraphMは僅か56％にとどまり、IHOPが顕著に優れている。
• 同じデータセットでIHOPは15分で処理を完了したが、GraphMはほぼ3日間を要した。これにより、100倍以上の高速化が達成された。
• 部分的アクセスパターン漏洩の設定下でも、IHOPはLuceneデータセットで92％の正確性を達成した。これは従来の最高水準（7％）を大きく上回り、処理時間は12分で、5時間以上を要する従来手法と比較して顕著な高速化が実現された。
• クエリ依存性がある頻度のみの漏洩下では、低品質な補助情報で48％、高品質な情報で69％の正確性を達成し、相関を効果的に活用できることを示した。
• パンケーキ防御に対して適用した結果、低品質な補助情報では平均攻撃正確性を93.6％（防御なし）から41.9％に、高品質な情報では99.7％から60.5％にまで低下させた。これはパンケーキが相関クエリに対して完全に効果的ではないことを示しており、防御の限界を示している。
• 結果から、パンケーキはクエリ相関が存在する場合に十分な保護を提供しないことが判明し、以前の報告とは矛盾する。この結果は、このような状況下ではより強力な防御策の開発が不可欠であることを強調している。