Sequence-, Epoch-, and Integrity-Aware Detection of Replay and Peer-Spoofing Attacks in Decentralized UAV Mesh Networks: A Software-Validated Security Framework

기술 요약: 분산형 UAV 메쉬 네트워크에서의 시퀀스, 에포크 및 무결성 인식을 통한 리플레이 및 피어 스푸핑 공격 탐지

문제 정의
분산형 무인 항공기(UAV) 군집은 동적인 피어 투 피어(P2P) 무선 링크를 통해 운용되며, 여기서 메시지의 신선도(freshness)와 피어 식별(identity)은 핵심적인 제어 시스템 속성이다. 클라이언트-서버 아키텍처와 달리, 비행 임시 네트워크(FANET)는 중앙 집중식 개입이 이루어지기 전에 집단적 행동을 왜곡할 수 있는 고유한 위협에 직면해 있다. 즉, 암호학적으로는 유효하지만 오래된 패킷(리플레이), 송신자 식별자가 위조된 패킷(피어 스푸핑), 또는 인증되지 않은 비상 메시지 등이 이에 해당한다. 기존 문헌들은 사칭, 리플레이, 허위 데이터 주입을 지속적인 위협으로 식별하고 있으나, 자원 제한적인 군집 환경에서는 세 가지 구체적인 구현 수준의 격차(gap)가 존재한다:

1. 시간 신뢰성: 시간 신뢰도는 시계 드리프트(synchronization drift) 및 GNSS 조작 가능성 때문에 단순히 벽시계 시간(wall-clock time)에만 의존할 수 없다.
2. 컨텍스트 바인딩: 인증은 단순히 페이로드뿐만 아니라, 송신자 식별자, 신뢰 에포크(trust epoch), 그리고 시퀀스 메타데이터를 결합하여 컨텍스트 전환 공격을 방지해야 한다.
3. 검증 순서: 인증은 어떠한 상태 변이(state mutation)나 안전 관련 동작이 수행되기 전에 이루어져야 한다. 메시지가 시스템 상태를 변경한 후에 검증하는 것은 보안 경계를 제공하지 못한다.

방법론
본 논문은 오픈 소스 GPS-디나이드(GPS-denied) UAV 연구 플랫폼(커밋 c040073969a6111f4c652d08e8de8629d70b2317)에 구현된 특정 패킷 수락 프레임워크를 분석한다. 본 연구는 수신 측의 수락 게이트(admission gate)를 격리하여 분석하며, 각 패킷 $p$를 유형, 송신자 ID, 타임스탬프, TTL, 신뢰 에포크, 시퀀스 번호, 소스 태그, 페이로드 및 인증 훅(authentication hook)을 포함하는 튜플로 정의하는 정식 모델을 설정한다.

방법론은 각 패킷이 피어 상태 캐시에 수락되기 전 다섯 가지 게이트를 동시에 만족하도록 요구하는 복합 수락 술어(compound admission predicate) $A(p)$를 채택한다:

1. 정규화 및 무결성: 패킷은 (인증 훅이 제거된) 정규화된 CBOR 형식으로 직렬화된다. 이 정규화된 표현 위에 32바이트 HMAC-SHA256 태그 전체가 계산된다. 수신기는 상수 시간 비교(constant-time comparison)를 사용하여 태그를 검증한다. 이는 송신자 식별자와 모든 메타데이터를 페이로드에 결합한다.
2. 시간 신뢰성 ($F_{time}$): 패킷의 절대적 연령은 설정된 최대 클록 스큐($\Delta$)와 패킷의 TTL 합계와 비교된다.
3. 신뢰 에포크 격리 ($F_{epoch}$): 패킷의 신뢰 에포크는 수신기의 설정된 에포크와 정확히 일치해야 한다. 이는 이전 키/멤버십 컨텍스트로부터 오는 패킷을 거부하는 거친 생성 경계(coarse generation boundary) 역할을 한다.
4. 엄격한 시퀀스 단조성 ($F_{seq}$): 시퀀스 번호는 특정 피어로부터 받은 마지막 인증된 시퀀스보다 엄격하게 커야 한다. 이는 엄격한 안티-리플레이 상태를 강제하여, 엄격하게 최신 상태가 아닌 패킷을 거부한다.
5. 런타임 프로파일 정책 ($F_{profile}$): "에지-스웜(edge-swarm)" 모드에서는 서명되지 않은 패킷은 거부되며, 명시적으로 구성된 시뮬레이션 프로파일에 대해서만 예외가 허용된다.

본 프레임워크는 유효한 검증, 페이로드/송신자 변조, 누락된 서명, 오래된 에포크, 그리고 동작 전 안전 체크를 다루는 소스 수준 유닛 테스트를 통해 검증된다. 성능은 고립된 암호학적 지연 시간 측정이라기보다는 소프트웨어 경로의 대리 지표로서 취급되는 저장소 벤치마크를 통해 평가된다.

주요 기여

1. 정식 적대자 모델: 외부자 리플레이, 페이로드 변조, 송신자 스푸핑, 에포크 재사용, 내부자 키 탈취를 포함한 구체적인 공격 클래스를 정의한다.
2. 복합 보안 술어: 구현된 수락 체인을 시간, 에포크, 시퀀스, 정책 및 무결성 검사의 수학적 결합으로 표현하여, 단 하나의 게이트라도 실패할 경우 패킷이 거부됨을 증명한다.
3. 사전 동작 안전 속성: 소스 매핑을 통해 인증 실패가 상태 캐시 변이를 방지하고 안전 관련 동작(예: 비상 코리더 수락)을 차단함을 입증한다.
4. 운용 트레이드오프 분석: 엄격한 단조 시퀀싱의 비용을 정량화하여, 이것이 깨끗한 안전 불변성(safety invariant)을 제공하는 한편, 정당하게 순서가 뒤바뀐 패킷을 거부하게 된다는 점을 명시한다. 또한 다양한 패킷 속도에서의 32비트 시퀀스 카운터 고갈 시간을 분석한다.
5. 잔류 위험 특성화: 공유 비밀(shared-secret) 설계가 유효한 HMAC을 생성하여 다른 노드를 사칭할 수 있는 완전히 침해된 권한 있는 피어를 방지할 수 없음을 명시적으로 식별한다.

결과

• 보안 속성: 프레임워크는 리플레이된 패킷(유효한 타임스탬프를 가진 경우에도), 변조된 페이로드, 위조된 송신자 ID, 그리고 일치하지 않는 에포크의 패킷을 성공적으로 거부한다. "실패 시 폐쇄(fail-closed)" 설계는 검증되지 않은 패킷이 군집 상태를 변경하는 것을 방지한다.
• 성능: 저장소 벤치마크는 중앙값 12.219 ms, 평균 22.603 ms의 군집 인증 경로 지연 시간을 보고한다. 저자는 이 수치들이 프로세스 실행 오버헤드를 포함하고 있으며, 고립된 암호학적 성능이 아닌 거친 소프트웨어 경로의 대리 지표임을 명확히 한다.
• 테스트 커버리지: 소스 수준 테스트를 통해 송신자 ID나 페이로드를 변조하면 INVALID_SIGNATURE가 발생하고, 오래된 에포크나 시퀀스는 각각 STALE_EPOCH 및 REPLAY_DETECTED를 발생시킴을 확인하였다. 에지 모드에서 서명되지 않은 패킷은 거부된다.
• 한계점: 분석 결과, 현재 설계는 그룹 비밀을 보유한 내부자를 방어할 수 없음을 확인하였다. 또한, 엄격한 시퀀스 규칙은 정당한 순서 이탈 패킷에 대한 "오거부(false rejection)" 확률을 생성하며, 32비트 카운터는 초당 1,000개의 패킷 발생 시 약 50일 만에 고갈될 수 있다.

의의 및 주장
본 논문은 분산형 UAV 네트워크에서 경량 안티-리플레이 및 피어 스푸핑 보호를 위한 **증거 기반 베이스라인(evidence-bounded baseline)**을 제공한다고 주장한다. 본 연구의 의의는 다음과 같다:

• 구현 기반 검증: 이론적 제안과 달리, 본 연구는 특정 실행 중인 소프트웨어 구현을 분석하여 수학적 술어를 실제 코드 경로 및 테스트 케이스에 직접 매핑한다.
• 명확한 경계 정의: 현재의 공유 비밀 설계가 무엇을 증명할 수 있는지(무결성 및 그룹 멤버십)와 무엇을 증명할 수 없는지(노드별 비부인성 또는 내부자 귀속)를 명확히 구분한다.
• 이행 경로: 본 프레임워크는 노드별 키, 하드웨어 기반 식별자, 제한된 리플레이 윈도우, 그리고 양자 내성 인증으로의 향후 진화를 위한 토대로 기능한다.

저자는 연구 범위를 겸허하게 설정하여, 모든 침해된 노드 공격이나 물리적 키 추출에 대한 보호를 주장하지 않는다. 대신, 현재의 설계로부터 무엇을 증명할 수 있는지 명확히 하고, 내부자 위협을 제어하기 위해 필요한 구체적인 설계 요구사항을 식별한다. 연구는 현재의 결정론적 수락 게이트가 콤팩트한 보안 기초가 될 수 있지만, 상용화를 위한 진화에는 그룹 비밀을 넘어 노드별 자격 증명과 강화된 시간 소스 검증이 필요하다고 결론짓는다.