최소거리 디코딩 기반 디지털 지문 설계

초록

본 논문은 최소거리(decoding) 규칙을 이용해 디지털 지문에서 1명의 악당을 식별하는 방법을 제시한다. 평균 공격에 대해 2명의 공모자(t=2)일 때 전송률 1/2를 달성하고, 마킹 가정 하에서는 t=2일 때 전송률 1‑H(0.25)≈0.188을 달성한다. t≥3인 경우 비해결 공격이 존재함을 보이며, Belief‑Propagation 기반 반복‑누적 코드를 이용해 실용적인 구현을 제시한다.

상세 분석

이 연구는 디지털 지문 시스템에서 협업 공격에 대한 정보이론적 한계를 최소거리 디코딩(MD) 관점에서 재조명한다. 첫 번째 시나리오인 평균 공격(averaging attack)에서는 두 명의 공모자(t=2)가 각자의 지문 코드를 평균하여 새로운 워터마크를 만든다. 저자들은 무작위 코딩 기법을 적용해, 전송률 R=1/2가 MD 규칙 하에서 오류 확률이 0으로 수렴함을 증명한다. 이는 기존의 직교 코드 기반 설계가 달성할 수 있는 전송률(대략 1/4 수준)보다 두 배에 달하는 효율성을 의미한다. 일반적인 t에 대해서는 코드 길이와 복잡도 사이의 트레이드오프를 분석하고, t가 증가함에 따라 MD 디코더가 요구하는 최소 거리와 코드 구조가 급격히 복잡해짐을 보여준다.

두 번째 시나리오는 마킹 가정(marking assumption)을 만족하는 임의의 협업 공격을 고려한다. 마킹 가정은 공모자들이 자신이 가진 비트 중 ‘1’과 ‘0’이 동시에 존재하는 위치에서는 변형할 수 없다는 제약을 둔다. 저자들은 t=2인 경우, 무작위 선형 코드(random linear code) 집합을 사용해 전송률 R=1‑H(0.25)≈0.188을 달성한다는 새로운 존재론적 결과를 제시한다. 여기서 H(·)는 이진 엔트로피 함수이며, 이 전송률은 기존의 상관 탐지기(correlation detector) 기반 설계보다 현저히 높다. 반면 t≥3일 때는 어떤 비영(>0) 전송률도 MD 디코더로는 복구 불가능한 비해결(collusion) 공격이 존재함을 증명한다. 이는 MD 디코딩이 다중 공모자 상황에서 근본적인 한계를 갖는다는 중요한 통찰을 제공한다.

실제 구현을 위해 저자들은 Belief‑Propagation(BP) 프레임워크를 차용한다. 평균 공격에 대해서는 반복‑누적(repeat‑accumulate, RA) 코드를 사용해 전송률 1/3에서 오류 확률이 거의 0에 수렴함을 실험적으로 확인한다. 마킹 가정 하에서는 보다 복잡한 누적‑반복‑누적(Accumulate‑Repeat‑Accumulate, ARA) 구조를 적용해 전송률 1/9에서도 동일한 수준의 신뢰성을 얻는다. 이러한 설계는 기존의 정규직교 코드와 비교해 복잡도는 비슷하거나 낮으면서도 전송률과 오류 성능에서 크게 앞선다. 전체적으로 이 논문은 MD 디코딩이 디지털 지문 설계에 제공하는 이론적 이점과 실용적 구현 가능성을 동시에 입증한다.