[論文レビュー] Security of the Improved Fuzzy Vault Scheme in the Presence of Record Multiplicity (Full Version)

Johannes Merkle, Benjamin Tams|arXiv (Cornell University)|Dec 18, 2013

Biometric Identification and Security参考文献 40被引用数 10

ひとこと要約

本稿では、同一個人のボーラッドレコードを結びつけるために拡張ユークリッドの互除法を用い、差分となるバイオメトリック特徴を回復することで、改良型ファジィボックス方式に対する非常に効率的で多項式時間の攻撃を提示する。この攻撃は、大規模パラメータにおいて同様の攻撃が非現実的であるという予想を覆し、情報理論的観点から実用的妥当性と漸近的最適性を示し、セキュアなバイオメトリック鍵管理に影響を及ぼす。

ABSTRACT

Dodis et al. proposed an improved version of the fuzzy vault scheme, one of the most popular primitives used in biometric cryptosystems, requiring less storage and leaking less information. Recently, Blanton and Aliasgari have shown that the relation of two improved fuzzy vault records of the same individual may be determined by solving a system of non-linear equations. However, they conjectured that this is feasible for small parameters only. In this paper, we present a new attack against the improved fuzzy vault scheme based on the extended Euclidean algorithm that determines if two records are related and recovers the elements by which the protected features, e.g., the biometric templates, differ. Our theoretical and empirical analysis demonstrates that the attack is very effective and efficient for practical parameters. Furthermore, we show how this attack can be extended to fully recover both feature sets from related vault records much more efficiently than possible by attacking each record individually. We complement this work by deriving lower bounds for record multiplicity attacks and use these to show that our attack is asymptotically optimal in an information theoretic sense. Finally, we propose remedies to harden the scheme against record multiplicity attacks.

研究の動機と目的

• 同一バイオメトリックインスタンスの特徴を保護する複数のボーラッドが存在する状況下で、改良型ファジィボックス方式のセキュリティを分析すること。
• ブレントンとアリサガリが提起した予想、すなわち関連するボーラッドから得られる非線形方程式を解くことは大規模パラメータにおいて計算的に非現実的である、という仮説に反論すること。
• 拡張ユークリッドの互除法を用いて、ボーラッドレコードを結びつけ、差分バイオメトリック特徴を回復する、効率的で多項式時間の攻撃を開発すること。
• 部分的回復攻撃を確率的全回復法に拡張し、ブルートフォース攻撃の効率を著しく向上させること。
• 複数のボーラッドレコードからの漏洩に関する情報理論的下界を導出し、このような攻撃に対して耐性を持つ対策を提案すること。

提案手法

• 攻撃は、重複するバイオメトリック特徴集合から導出された2つのボーラッド多項式のGCDを計算するために拡張ユークリッドの互除法を用いる。
• 真の特徴が秘密多項式によって符号化され、ごま塩ポイントがランダム多項式によって追加される、改良型ファジィボックス方式の代数的構造を活用する。
• 攻撃は、2つのボーラッドの多項式のGCDと、共有および固有の成分の構造を分析することで、両者の差分要素の集合を同定する。
• 攻撃は確率的であり、特徴集合の重複が十分に存在する場合、リード・ソロモンデコーダーの真の受容率と同等の高い確率で成功する。
• 複数の関連するボーラッドからの部分的結果を統合し、確率的再構成技術を用いることで、全回復の拡張を達成する。
• 著者らは、特徴をより大きな有限体に（擬似）ランダムに埋め込むことで、重複の検出の難易度を高める対策を提案する。

実験結果

リサーチクエスチョン

• RQ1 代数的技術を用いて、レコード多重性攻撃を改良型ファジィボックス方式に対して効率的に実行可能か？
• RQ2 ブレントンとアリサガリの予想、すなわち大規模パラメータにおいて同様の攻撃は非現実的である、という仮説は妥当か？
• RQ3 差分特徴の部分的回復を、元のバイオメトリック特徴集合の全回復にどの程度まで拡張可能か？
• RQ4 複数のボーラッドレコードからの漏洩に関する情報理論的限界は何か？ そして、攻撃成功確率とどのように関係するか？
• RQ5 攻撃に対する効果的な対策を設計可能か？ その際、方式の基本的特性を保持しつつ、レコード多重性攻撃を防げるか？

主な発見

• 提案された攻撃は、拡張ユークリッドの互除法を用いて、2つのボーラッド間の差分要素を効率的に回復することで、改良型ファジィボックス方式のセキュリティを破る。
• 攻撃は確率的多項式時間で実行され、高い確率で成功するが、これは大規模パラメータにおいて同様の攻撃が非現実的であるという予想に反する。
• 実験的結果は、実用的なバイオメトリックパラメータに対しても、攻撃の高い信頼性と低誤検出率を確認している。
• 特定のパラメータ領域、特に $\omega \geq (t + k)/2$ かつ $t \gg k$ の場合、部分的回復が両方の特徴集合の完全再構成を可能にする。
• 複数のボーラッドレコードからの漏洩に関する下界を導出し、情報理論的観点から漸近的最適性を証明した。
• 著者らは、特徴をより大きな有限体に（擬似）ランダムに埋め込むことで、重複の検出の難易度を高める対策を提案し、攻撃を効果的に封じる可能性がある。