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

본 논문은 비가변 코드(NMC)의 실용적 구현을 목표로, 와이어탭(Wire‑Tap) 채널의 두 번째 모델과의 연관성을 이용한 새로운 설계를 제안한다. 먼저 비가변 코드의 정의와 기존 연구 동향을 정리한다. NMC는 코드워드가 공격자에 의해 변조된 뒤 디코딩될 때, 원본 메시지를 그대로 복원하거나 원본과 완전히 독립적인 값을 반환하도록 요구한다. 이때 허용되는 변조 함수 집합 F 가 사전에 정의되며, 각 f∈F 에 대해 메시지와 무관한 분포 Df 가 존재해야 한다. Dziembowski 등은 모든 비트‑독립 변조 함수(keep, flip, 0, 1)를 다루는 복잡한 LECSS + AMD 구조를 제시했지만, 실제 구현이 어려운 점을 지적하였다. 저자들은 와이어탭 채널 II 모델을 도입한다. 이 모델에서는 메인 채널과 와이어탭 채널 모두 무잡음이며, 공격자는 코드워드의 일부 비트를 ‘지우기’(erasures)만 할 수 있다. 지워진 비트는 원래 값이 무엇이었는지 알 수 없으므로, 정보 이론적으로는 완전한 비밀을 유지한다는 것이 알려져 있다. 특히, 코드 C 의 이중 코드(dual code) 최소거리 d⊥ 보다 적은 비트를 관찰하면 공격자는 메시지에 대한 어떠한 정보도 얻을 수 없으며, 이는 코사트 코딩을 이용해 보안성을 확보할 수 있음을 의미한다. 논문은 이러한 와이어탭 II의 특성을 비가변 코드 설계에 적용한다. 변조 함수 f 가 비트‑독립이며, 각 비트에 대해 keep, flip, 0, 1 중 하나를 선택한다. 여기서 0·1 고정 비트가 일정 수 D 이상 존재한다면, 해당 비트들은 와이어탭 II에서의 ‘지우기’와 동일한 효과를 만든다. 따라서, 변조 후 디코딩값은 원본 메시지와 전혀 독립적인 균등 분포가 된다. 구체적인 설계는 다음과 같다. 1. 선형 코드 C (