[논문 리뷰] Worst case attacks against binary probabilistic traitor tracing codes

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

Internet Traffic Analysis and Secure E-voting참고 문헌 7인용 수 15

한 줄 요약

이 논문은 정보 이론적 프레임워크를 사용하여 이진 확률적 트레이서 트레이서 추적 코드에 대한 최악의 공모 공격을 규명한다. 이는 공모자들의 출력과 코드 간 상호정보량을 최소화함으로써 이루어지며, 기존의 다수결 또는 소수결 투표 공격이 최적임을 보여주지 못함을 드러낸다. 또한 Tardos 코드에서 시간 공유(time-sharing)가 성능에 결정적인 역할을 하며, 공동 디코더와 단순 디코더에 대한 최적의 공격 전략을 유도한다. 이는 기존 표준 공격 모델에 비해 최악의 경우 성능 비율이 훨씬 낮음을 증명한다.

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에 대한 기대값으로 정의한다.
• 상호정보량의 기울기를 분석하고 이진 엔트로피 함수 및 그 도함수의 성질을 활용하여 최적 공격 전략에 대한 경계를 도출한다.
• 논문은 특정 조건에서 최적 공격 벡터 θ*가 (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 ∈ (0, ηc] 에서 상호정보량 기울기가 양수임을 증명하며, 모든 0 또는 모든 1로 구성된 공격 벡터가 제외됨을 확인함으로써 유도된 희박한 공격 전략의 최적성은 확인된다.