[论文解读] 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之间，证明了最优攻击的稀疏性。
• 时分复用不仅是理论构造，更是实现码最大最坏情况码率的关键设计要素，如对时分复用变量P的期望所示。
• 分析证明，在p ∈ (0, ηc]时，互信息梯度为正，排除了全零或全壹攻击向量的可能性，从而确认了所推导稀疏攻击策略的最优性。