Extended Abstract: Shaperd: Easily Adoptable Real-Time Traffic Shaper for Fully Encrypted Protocols

제공된 확장 초록을 바탕으로, "Shaperd: Fully Encrypted Protocols 를 위한 쉽게 채택 가능한 실시간 트래픽 셰이퍼"에 대한 상세한 기술적 요약입니다.

1. 문제 제기

완전 암호화 프로토콜 (FEPs)(예: Shadowsocks, VMess) 은 제한적인 지역에서 인터넷 검열을 우회하는 데 필수적인 도구입니다. 이들은 전체 트래픽 페이로드를 암호화하여 데이터가 무작위 바이트처럼 보이게 함으로써 프로토콜 유형 및 데이터 길이와 같은 메타데이터를 숨깁니다.

그러나 FEP 는 다음과 같은 검열자의 탐지 및 차단 기법에 직면하여 증가하는 위협에 노출되어 있습니다:

• 수동 트래픽 분석: 패킷 길이, 엔트로피, 그리고 인쇄 가능한 ASCII 문자의 비율에 대한 통계적 분석.
• 능동적 프로빙 (Active Probing): FEP 로부터 특정 응답을 이끌어내기 위해 프로브를 전송.
• 임의 규칙 (Ad-hoc Rules): 검열자는 엔트로피가 표준 TLS 보다 낮거나 특정 문자 분포를 가진 트래픽을 차단하는 등 탐지 규칙을 빈번히 업데이트합니다.

격차: 기존 FEP 는 이러한 진화하는 탐지 규칙에 적응할 수 없는 경직된 설계를 가지고 있습니다. 일부 이전 연구 (예: Fenske 등) 가 패킷 길이 셰이핑을 다루었지만, 패킷 타이밍 셰이핑이 부족했으며 독립적이고 쉽게 통합 가능한 솔루션으로 설계되지 않았습니다. 현재는 기존 FEP 를 완전히 다시 작성하지 않고도 탐지를 우회하기 위해 패킷 내용과 타이밍을 모두 동적으로 수정할 수 있는 독립적인 실시간 트래픽 셰이퍼는 존재하지 않습니다.

2. 방법론: Shaperd

저자들은 사용자와 FEP 사이에 배치되도록 설계된 실시간 독립형 트래픽 셰이퍼인 Shaperd를 제안합니다. 이는 사용자 정의 제약을 충족하도록 트래픽 흐름을 실시간으로 수정하여 탐지를 피하기 위해 트래픽을 효과적으로 "변형"시킵니다.

핵심 아키텍처

Shaperd 는 두 개의 스레드로 구성된 워크플로우를 통해 작동합니다:

1. 트래픽 버퍼: 처리되기 전에 들어오는 FEP 트래픽이 여기에 저장됩니다.
2. 셰이퍼 스레드: 버퍼를 모니터링하고 패킷 내용을 검사합니다. 두 가지 방법을 사용하여 새로운 유효한 패킷을 생성합니다:
   • 길이 축소: 제약 조건이 충족될 때까지 패킷 내용을 잘라냅니다 (테스트에서 더 효과적인 것으로 입증됨).
   • 내용 패딩: 제약 조건을 충족시키기 위해 패킷에 점진적인 바이트 값을 추가합니다 (대안으로 사용됨).
3. 타이머 스레드: 패킷 간 지연, 처리량 제한과 같은 타이밍 제약 조건에 따라 패킷의 전송 타이밍을 제어합니다. 참고: 이 구성 요소는 현재 작업 진행 중입니다.

혁신적인 제약 시스템

핵심 혁신은 사용자가 특정 트래픽 기능을 정의할 수 있는 유연한 제약 프레임워크입니다. 제약은 네 가지 구성 요소로 이루어집니다:

• 함수: 계산할 결정론적 지표 (예: 인쇄 가능한 ASCII 문자의 비율, 엔트로피).
• 값: 지표에 대한 목표 값.
• 모드: 비교 연산자 (예: $>$, $<$, $=$).
• 대상: 제약이 적용되는 패킷.

예시: Wu 등 [22] 이 식별한 특정 검열 규칙을 우회하고 일반 TLS 트래픽을 모방하기 위해 "모든 패킷에 인쇄 가능한 ASCII 문자가 50% 이상 포함되어야 한다"는 규칙을 사용자가 정의할 수 있습니다.

3. 주요 기여

1. Shaperd 시스템: 기존 또는 향후 FEP(예: Shadowsocks, V2Ray) 와 FEP 의 핵심 코드를 수정하지 않고도 쉽게 통합할 수 있는 실시간 트래픽 셰이퍼.
2. 혁신적인 제약 시스템: 동적인 검열자 탐지 규칙에 적응하기 위해 사용자 정의 임의의 트래픽 기능 (내용 및 타이밍 모두) 을 정의할 수 있는 유연한 메커니즘.
3. 이중 셰이핑 기능: 패킷 길이에만 초점을 맞춘 이전 도구들과 달리, Shaperd 는 패킷 내용(길이 및 바이트 값) 과 패킷 타이밍(지연 및 간격) 을 모두 셰이핑하는 것을 목표로 합니다.
4. 복잡성 이전: FEP 개발자가 암호화 및 프로토콜 기능에 집중할 수 있도록 하며, 트래픽 은폐와 같은 복잡한 작업을 Shaperd 로 이전합니다.

4. 결과 및 평가

저자들은 Go로 개념 증명 (약 1,000 줄의 코드) 을 구현하고 무작위 바이트 생성기를 트래픽 소스로 사용하여 테스트했습니다.

• 오버헤드: Shaperd 는 최소한의 성능 오버헤드를 도입합니다.
  • 간단한 엔트로피 제약 조건을 사용한 기준 오버헤드: 4.1%.
  • 두 가지 제약 조건 사용 시: 5.5% 오버헤드.
• 확장성: 오버헤드는 추가된 제약 조건의 수와 엄격함에 따라 선형적으로 증가합니다.
• 효과성: 예비 테스트에서 길이 축소 방법이 내용 패딩보다 더 높은 성능을 발휘하는 것으로 확인되었습니다.

5. 의의 및 향후 작업

의의:
Shaperd 는 FEP 가 검열의 "고양이와 쥐" 게임에 적응할 수 있도록 하는 모듈식 레이어를 제공함으로써 "비관측성" 문제를 해결합니다. 트래픽을 특정 비무작위 패턴 (또는 특정 무작위 패턴) 으로 보이도록 셰이핑할 수 있게 함으로써, 정적 휴리스틱에 의존하는 규칙 기반 탐지를 무력화합니다.

향후 작업 및 한계:

• 성능 최적화: 현재 "제약-무관 (constraint-agnostic)" 설계는 일부 오버헤드를 수반합니다. 저자들은 셰이퍼가 특정 규칙 유형에 대한 처리를 최적화할 수 있도록 제약 조건에 "유형" 필드를 추가할 계획을 가지고 있습니다.
• 프로토콜 지원: 현재는 TCP만 지원하며, 향후 버전은 더 넓은 적용 범위를 위해 다른 프로토콜을 지원하도록 목표로 합니다.
• 고급 평가: 향후 테스트는 무작위 바이트 생성기를 넘어 최신 도구 (Proteus, Shadowsocks) 와 통합하고, 실제 세계의 검열 공격에 대한 우회 능력을 검증하기 위해 정교한 트래픽 지문 분석 기술을 사용할 예정입니다.
• 타이머 스레드 완료: 패킷 도착 간격을 완전히 제어하기 위해 실시간 타이밍 셰이핑 기능을 완성합니다.

결론적으로, Shaperd 는 트래픽 셰이핑 논리를 암호화 프로토콜에서 분리하여 동적인 탐지 위협에 대한 유연하고 낮은 오버헤드의 솔루션을 제공함으로써, 탄력적인 검열 우회 toward 중요한 진전을 나타냅니다.