보안 기반 분산 플러블 인덱스 코딩: 이질적 사이드 정보와 목표 데이터 크기 달성

초록

본 논문은 서로 다른 양의 사이드 정보를 가진 클라이언트들이 중앙 서버 없이 협업하는 분산 플러블 인덱스 코딩(DPIC) 환경에서, 모든 클라이언트가 사전에 정의된 목표 메시지 수 T 를 정확히 달성하도록 하는 보안 전송 스킴을 제안한다. LPS‑FO(선형 진행·고정 겹침) 구조를 기반으로 재귀적 전송 알고리즘을 설계하고, 보안 제약 하에서 필요한 전송 횟수의 상한을 분석한다. 특히 C = 3, 4인 경우 최적성을 증명한다.

상세 분석

이 논문은 기존 DPIC 연구가 전제해 온 동질적(side‑information 크기 동일, 단일 메시지 요구) 가정을 탈피하여, 클라이언트마다 서로 다른 사이드 정보량을 갖는 LPS‑FO 모델을 채택한다. LPS‑FO는 (i) 각 클라이언트 Ci 가 이전 클라이언트보다 정확히 한 개의 메시지를 더 보유하고, (ii) 인접 클라이언트 간에 고정된 P개의 연속 메시지를 공유한다는 두 가지 구조적 제약을 가진다. 이러한 구조는 실제 차량·도로망 등에서 관측 데이터가 점진적으로 누적되는 상황을 잘 반영한다.

보안 목표는 모든 클라이언트가 최종적으로 정확히 T = |IC| + 1 = K + C 개의 서로 다른 메시지를 보유하도록 하는 것이다. 즉, 어떤 클라이언트도 목표보다 더 많은 메시지를 획득하지 못하게 함으로써 ‘과다 획득’ 위험을 차단한다. 이는 기존 연구가 주로 “각 클라이언트가 최소 하나의 새로운 메시지를 얻는다”는 약한 보안만을 고려한 것과는 차별된다.

핵심 기여는 두 단계로 구성된 재귀 전송 알고리즘이다. 알고리즘 1은 현재 남아 있는 클라이언트 수 Cl 에 대해 최대 전송 그룹 크기 rl_max 을 삼각수 부등식 (rl_max‑2)(rl_max‑1)/2 < Cl ≤ rl_max(rl_max‑1)/2 로 정의하고, 이를 기반으로 클라이언트를 ‘전송 그룹’과 ‘잔여 그룹’으로 나눈다. 전송 그룹(크기 rl_max) 내부에서는 알고리즘 2(일반 경우) 혹은 알고리즘 3(특수 경우)에서 정해진 XOR 조합을 수행한다. 각 전송은 (i) 초기 겹침 구간 FI, (ii) 말단 겹침 구간 LI, (iii) 고유 비겹침 구간 Uj 을 적절히 섞어 구성되며, 이는 클라이언트가 자신이 이미 보유한 메시지는 사용하고, 새로운 메시지는 정확히 하나씩만 얻도록 설계되었다.

재귀 단계가 진행될수록 전송 그룹이 제거되고, 남은 클라이언트들의 사이드 정보 집합은 K값이 rl_max 만큼 증가한 형태로 유지된다. 최종적으로 클라이언트 수가 2 이하가 되면 베이스 케이스(두 클라이언트는 3개의 XOR, 한 클라이언트는 1개의 XOR)로 마무리한다. 이 과정에서 각 클라이언트는 정확히 T 개의 메시지를 갖게 되며, 전송 횟수 N(C) 는 재귀식 N(C)=C+N(C‑rl_max) 로 정의된다.

정리된 정리 1에 따르면, 보안 제약이 없을 때 최적 전송 수는 C (또는 C=2일 때 3)이다. 그러나 보안 제약을 도입하면 전송 수는 N(C) ≥ C 가 되며, 특히 rl_max ≈ √(2C) 정도에서 전송 효율이 크게 감소한다는 점을 논문은 수치적으로 보여준다. 또한 C=3, 4인 경우에 대해 전송 스킴이 최적임을 증명함으로써, 작은 네트워크에서의 최적성을 확보한다.

이러한 설계는 (1) 클라이언트 간 정보 겹침을 활용해 전송 코딩 이득을 극대화, (2) 각 클라이언트가 목표 초과 획득을 하지 못하도록 보안 제약을 엄격히 만족, (3) 재귀적 구조를 통해 확장성을 확보한다는 세 가지 장점을 동시에 제공한다. 다만, LPS‑FO 가정이 비교적 제한적이며, P와 K 사이의 관계(K ≥ 2P)와 rl_max 조건(P ≥ rl_max‑2) 등 여러 전제 조건이 필요하다는 점은 실제 적용 시 고려해야 할 제한 요소이다.