와이어탭 채널 기반 비가변 코드 설계

초록

본 논문은 와이어탭(Wire‑Tap) 채널의 두 번째 모델과 비가변 코드(NMC)의 관계를 탐구한다. 선형 코사트 코딩을 이용해 비트‑독립적인 변조 함수 중 일정 비율 이상이 0·1 고정값으로 바뀌는 경우에 대해 비가변성을 보장한다. 제시된 구조는 기존 Dziembowski 등의 복잡한 구성보다 구현이 간단하고 효율적이며, 디코딩 과정이 단일 행렬‑벡터 곱으로 이루어진다.

상세 분석

논문은 먼저 비가변 코드(NMC)의 정의를 재정리한다. NMC는 코드워드가 공격자에 의해 변조된 뒤 디코딩될 때, 원본 메시지를 그대로 복원하거나(‘same’ 이벤트) 원본과 전혀 독립적인 값을 반환하도록 요구한다. 이때 변조 함수의 집합 F 가 사전에 정의되어야 하며, 각 f∈F 에 대해 메시지 s 와 무관한 분포 Df 가 존재해야 한다는 것이 핵심이다. 기존 연구에서는 모든 비트‑독립 변조 함수(keep, flip, 0, 1)를 다루는 복잡한 LECSS + AMD 구조를 제시했지만, 실제 구현이 어려운 점이 있었다.

저자들은 와이어탭 채널 II 모델을 도입한다. 이 모델에서는 공격자가 코드워드의 일부 비트를 ‘지우기’(erasures)만 할 수 있으며, 지워진 위치를 자유롭게 선택한다. 와이어탭 II의 보안은 코드의 이중 코드(dual code) 최소거리 d⊥ 보다 적은 비트를 관찰하면 메시지에 대한 정보가 완전히 차단된다는 사실에 기반한다. 이를 코사트 코딩과 연결하면, 변조 함수가 일정 수 D 이상의 비트를 0 또는 1로 고정할 경우, 해당 비트들은 사실상 ‘지워진’ 것으로 간주될 수 있다.

정리된 정리는 다음과 같다.
- F 는 비트‑독립 변조 함수 집합이며, 각 f 에 대해 0·1 고정 비트의 개수가 D ≥ d⊥ + 1 을 만족한다.
- C 는