TCP 버퍼 동역학으로 거의 정렬된 순열 식별

초록

본 논문은 패킷 ID 순열을 입력으로 하여 각 시점에 필요한 최소 버퍼 크기를 기록한 함수 𝓜(A)를 정의하고, 두 순열 A와 B가 𝓜(A)=𝓜(B)일 때 동등(≡₍FB₎)하다고 본다. SUS(Shuffled‑Up‑Sequences) 측정값이 3 이하인 순열에 한해, 동일한 버퍼 동역학을 보이는 두 순열은 반드시 동일함을 증명한다. 이 결과는 SUS가 4가 되면 일반화되지 않으며, 저자들이 제안한 수신자 중심 트래픽 모델인 RESTORED와 직접적인 연관성을 가진다.

상세 분석

논문은 먼저 패킷 흐름을 순열 A = (a₁,…,aₙ) 로 모델링하고, 각 시점 i에서 아직 도착하지 않은 패킷을 포함해 현재까지 수신된 패킷들을 보관해야 하는 최소 버퍼 크기를 Mᵢ(A) 로 정의한다. 이때 버퍼는 “빈칸”도 차지하므로, Mᵢ(A)는 현재까지 관측된 최대값과 아직 도착하지 않은 최소값 사이의 거리와 동일하게 해석될 수 있다. 함수 𝓜(A) = (M₁,…,Mₙ) 은 순열 A의 “버퍼 프로필”을 완전히 기술한다.

동등 관계 A ≡₍FB₎ B는 𝓜(A)=𝓜(B)인 경우를 의미한다. 저자들은 이 관계가 일반적인 순열에 대해 매우 약함임을 인정하면서, 특정 구조적 제한을 가했을 때 강력한 구별력을 가질 수 있음을 보이고자 한다. 여기서 핵심이 되는 제한은 SUS(Shuffled‑Up‑Sequences)이다. SUS는 순열을 최소한의 증가 부분수열(또는 “업시퀀스”)으로 분할했을 때 필요한 부분수열의 개수를 의미한다. SUS가 작을수록 순열이 거의 정렬된 형태에 가깝다.

주요 정리는 다음과 같다. 두 순열 A와 B가 동일한 길이 n을 갖고, SUS(A) ≤ 3, SUS(B) ≤ 3이며, A ≡₍FB₎ B라면 A = B이다. 증명은 크게 두 단계로 나뉜다. 첫째, SUS ≤ 3인 순열은 “3‑layer” 구조로 표현될 수 있음을 보인다. 즉, 전체 순열을 세 개의 증가 부분수열 L₁, L₂, L₃ 로 겹치지 않게 분할할 수 있으며, 각 레이어는 서로 독립적인 순서 정보를 담는다. 둘째, 버퍼 프로필 𝓜(A) 가 두 순열에 대해 동일하다는 가정은 각 레이어에서 발생하는 “버퍼 상승”과 “버퍼 감소” 패턴이 일치함을 의미한다. 이 패턴은 레이어별 원소의 상대적 위치를 완전히 결정하므로, 동일한 𝓜을 갖는 두 3‑layer 순열은 레이어 구성 자체가 동일하고, 결국 전체 순열도 동일하게 된다.

반증 예시로 SUS = 4인 경우를 제시한다. 네 개의 레이어로 구성된 순열에서는 서로 다른 레이어 간의 교차가 버퍼 프로필에 동일하게 반영될 수 있어, 𝓜(A)=𝓜(B)이면서 A≠B인 사례가 존재한다. 이는 정리의 경계가 정확히 SUS = 3임을 보여준다.

이 결과는 RESTORED 모델과 직접 연결된다. RESTORED는 수신자가 버퍼 상태만을 관찰하고, 이를 기반으로 송신자의 패킷 순서를 추정하는 프레임워크이다. 논문의 정리는 SUS ≤ 3인 트래픽에 대해 버퍼 관측만으로 원본 순열을 완전히 복원할 수 있음을 보장한다. 따라서 네트워크 모니터링, 트래픽 분석, 그리고 보안 감시 등에서 버퍼 로그만을 활용한 고정밀 복원 기법을 설계할 수 있는 이론적 토대를 제공한다.