[論文レビュー] Worst case attacks against binary probabilistic traitor tracing codes

Teddy Furon, Luis Pérez-Freire|ArXiv.org|Mar 20, 2009

Internet Traffic Analysis and Secure E-voting参考文献 7被引用数 15

ひとこと要約

本稿は、情報理論的枠組みを用いて、二値確率的トライトレーサビングコードに対する最悪ケースの共謀攻撃を同定し、攻撃者の出力とコード間の相互情報量を最小化することで、古典的攻撃（多数決や少数決）が非効率であることを明らかにする。Tardosコードにおけるタイムシェアリングの重要性を強調し、共同デコーダおよび単純デコーダに対する最適攻撃戦略を導出し、標準的な攻撃モデル下での最悪ケースレートが従来の見積もりよりも顕著に低いことを証明する。

ABSTRACT

An insightful view into the design of traitor tracing codes should necessarily consider the worst case attacks that the colluders can lead. This paper takes an information-theoretic point of view where the worst case attack is defined as the collusion strategy minimizing the achievable rate of the traitor tracing code. Two different decoders are envisaged, the joint decoder and the simple decoder, as recently defined by P. Moulin \cite{Moulin08universal}. Several classes of colluders are defined with increasing power. The worst case attack is derived for each class and each decoder when applied to Tardos' codes and a probabilistic version of the Boneh-Shaw construction. This contextual study gives the real rates achievable by the binary probabilistic traitor tracing codes. Attacks usually considered in literature, such as majority or minority votes, are indeed largely suboptimal. This article also shows the utmost importance of the time-sharing concept in a probabilistic codes.

研究の動機と目的

• 二値確率的トライトレーサビングコードの実現可能なレートを最小化する最悪ケースの共謀戦略を同定すること。
• 共同デコーダおよび単純デコーダを用いたTardosおよび確率的Boneh-Shawコードの性能を、最悪ケース攻撃下で評価すること。
• 多数決や少数決といった古典的攻撃が最適でないことを示し、コードの耐性を過大評価していることを明らかにすること。
• 確率的トライトレーサビングコードにおいて、タイムシェアリングが最適性能を達成するために果たす重要な役割を強調すること。

提案手法

• 本稿は、情報理論的枠組みを用いて、最悪ケース攻撃を、海賊の出力とコード間の相互情報量を最小化する共謀戦略としてモデル化する。
• Moulinが最近形式化した共同デコーダおよび単純デコーダのモデルを適用し、トライトレーサビングコードの実現可能なレートを分析する。
• コード列の確率をモデル化するためのタイムシェアリング確率変数Pを用い、コードレートをPに関する期待値として定義する。
• 相互情報量の勾配を分析し、バイナリエントロピー関数およびその導関数の性質を用いて、最適攻撃戦略の上限を導出する。
• 特定のpおよびcの条件下で、最適攻撃ベクトルθ*が(0,1,0,…,0,1)Tのような特定のスパース構造を取ることを証明する。
• L’Hôpitalの定理およびエントロピー関数の凸性・凹性の性質を用いて、最適攻撃ベクトルにおける非ゼロ要素の数の厳密な上限を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられたトライトレーサビングコードおよびデコーダに対して、相互情報量を最小化する最悪ケースの共謀戦略は何か？
• RQ2 Tardosおよび確率的Boneh-Shawコードの実現可能なレートは、最悪ケース攻撃と古典的攻撃（多数決や少数決）の下でどのように比較されるか？
• RQ3 タイムシェアリングは確率的トライトレーサビングコードにおいて果たす役割は何か？ また、最悪ケース性能にどのように影響を与えるか？
• RQ4 pおよびcのどの値の下で、最適攻撃ベクトルは(0,1,0,…,0,1)Tの形を取るか？
• RQ5 最悪ケース攻撃下でも、Tardosコードにおける一次および二次スコア統計の不変性は、高次統計へと拡張可能か？

主な発見

• 共同デコーダにおける最悪ケース攻撃は、多数決や少数決ではなく、攻撃ベクトルに0と1の二つの記号のみを用いる戦略であり、具体的には(0,1,0,…,0,1)Tである。
• c ≥ 4およびp ∈ [1/c, ηc]の下で、最適攻撃ベクトルはθ* = (0,1,0,…,0,1)Tであり、これは相互情報量の低下を最大にする。
• 最悪ケースでの実現可能なレートは、古典的攻撃下のものよりも顕著に低いことが判明し、従来の性能見積もりが楽観的であることを示唆する。
• 最適攻撃ベクトルにおける非ゼロ要素数を数える関数K2(p,c)は、p ≤ ηcの下で1から2の間で有界であり、最適攻撃のスパarsityを証明する。
• タイムシェアリングは理論的構成物ではなく、コードが最大の最悪ケースレートを達成するために不可欠な設計要因であることが、確率変数Pに関する期待値によって示された。
• 分析により、p ∈ (0, ηc]の下で相互情報量の勾配が正であることが証明され、すべてゼロまたはすべて1の要素を持つ攻撃ベクトルが除外され、導出されたスパース攻撃戦略の最適性が確認された。