동적 게임을 위한 이차 측정 기반 공격 탐지

초록

본 논문은 선형 측정이 공격에 취약하고, 이차(Quadratic) 측정은 보안된 상황을 가정하여, 이차 측정을 활용한 새로운 상태 관측기와 통계적 검정 방법을 제안한다. 관측기는 EKF‑스타일 보정 뒤에 일관성 투영을 수행해 실제 상태가 항상 허용 집합에 포함되도록 보장하고, 집합의 근접정규성(prox‑regularity)과 오류 감소 특성을 이론적으로 증명한다. 또한, 선형·이차 관측기의 추정 궤적 차이를 와일드 부트스트랩 MMD 검정으로 검증해, 공격 발생 시 유의미한 분포 차이를 탐지한다. 추적‑회피 게임 시뮬레이션을 통해 제안 방법의 실효성을 확인한다.

상세 분석

이 논문은 두 가지 핵심 아이디어를 결합한다. 첫 번째는 “이차 측정 기반 관측기”이다. 시스템은 전통적인 선형 센서 yₖ = Cxₖ + aₖ + vₖ와, 공격 불가능한 이차 센서 zₖ = xₖᵀVxₖ 로 구성된다. 선형 센서는 aₖ 라는 악의적 교란을 받을 수 있기 때문에, 단순 칼만 필터만으로는 신뢰할 수 없다. 저자들은 이를 보완하기 위해, (i) 선형 센서만을 이용한 표준 칼만 필터 ˆxᴸₖ와, (ii) 이차 센서만을 이용한 EKF‑유사 관측기 ˆxᵠₖ를 병렬 운용한다. EKF 단계에서는 h(x)=xᵀVx 를 1차 근사하여 Jacobian Hₖ = (2Vˆxᵠₖ|k−1)ᵀ 를 얻고, 일반적인 칼만 이득 Kₖ 로 예측을 보정한다. 그러나 비선형 근사가 부정확하면 추정이 크게 일탈할 위험이 있다. 이를 해결하기 위해 저자들은 “일관성 투영”(consistency projection) 절차를 도입한다. 투영은 가중된 2‑노름 ‖x−˜xᵠₖ‖²_{Pᵠₖ|k−1} 를 최소화하면서, 현재와 과거 N 단계의 이차 측정에 대한 선형화 제약 |H_{k−i}(A^{−i}x−ˆxᵠ_{k−i}|k−i−1)−˜z_{k−i}| ≤ δ_{k,i}(x) 를 만족하는 집합 ℱₖ에 투영한다. 여기서 δ_{k,i}(x)=ζ+L‖A^{−i}x−ˆxᵠ_{k−i}|k−i−1‖² 은 2차 오차 보정을 위한 적응형 허용오차이며, L=‖V‖₂ 로 정의된다.

두 번째 핵심은 ℱₖ의 근접정규성(prox‑regularity)과 관측기의 오류 감소 특성을 수학적으로 증명한 점이다. 저자들은 ℱₖ를 “강하게 amenable”한 집합으로 모델링하고, 이를 위해 (1) A 가 가역(invertible)임을 가정하고, (2) 각 제약 함수 φ_{i}^{±}(x) 가 비퇴화(non‑degenerate)임을 보장하는 조건, (3) 전체 제약 매핑 F(x) 가 정상 cone 조건을 만족하도록 하는 집합 자격(aggregated constraint qualification)을 설정한다. 이 세 가정 하에 ℱₖ는 강하게 amenable하고, 따라서 prox‑regular하다는 Proposition 1 을 제시한다.

이론적 분석은 세 가지 주요 결과로 정리된다. 첫째, Lemma 1 은 잡음이 없는 경우 실제 상태 xₖ 가 ℱₖ에 항상 포함된다는 “feasibility” 를 보인다. 이는 δ_{k,i}(x) 의 정의가 실제 상태에 대한 2차 오차를 정확히 상한함을 이용한다. 둘째, Lemma 2 와 Theorem 1 은 투영 단계가 사전‑투영 오차 ˜eₖ₊₁|ₖ₊₁ 를 가중 노름에서 감소시켜, 사후‑오차 eₖ₊₁|ₖ₊₁ ≤ ˜eₖ₊₁|ₖ₊₁ 를 보장함을 증명한다. 이는 prox‑regular 집합에 대한 정상 원뿔(normal cone) 성질을 활용한 전형적인 최적성 조건에서 도출된다. 셋째, 관측기 설계 자체가 “오류 감소(monotone error‑reduction)” 를 제공함을, 특히 잡음이 없을 때 추정 오차가 비감소함을 보인다.

공격 탐지는 두 관측기의 추정 궤적 차이를 통계적으로 검정하는 단계에서 이루어진다. 저자들은 시간 의존성을 고려해 와일드 부트스트랩 기반의 최대 평균 차이(MMD) 검정을 선택한다. 구체적으로, 선형 관측기 추정 집합 Xᴸₖ와 이차 관측기 추정 집합 Xᵠₖ를 합쳐 Zₖ 를 만든 뒤, RBF 커널 ϕ(x,y)=exp(−‖x−y‖²/(2σ²)) 로 MMD² 를 계산한다. 부트스트랩 과정에서는 무작위 부호 vᵢ 를 곱한 중심화 커널 ˜K_v 를 이용해 V‑통계량 MMD_v 를 B 번 샘플링하고, (1−α) 분위수를 임계값 γ_α 로 설정한다. 최종 검정은 MMD²(Xᴸₖ,Xᵠₖ) > γ_α 인 경우 공격을 선언한다.

실험은 추적‑회피(pursuit‑evasion) 게임 시나리오를 사용한다. 시스템 매개변수 A, B, V 등을 적절히 설정하고, 공격자는 특정 시점부터 선형 센서에 영구적인 바이어스 aₖ 를 주입한다. 결과는 (i) 이차 관측기 ˆxᵠₖ 가 공격이 있더라도 추정 정확도를 유지하고, (ii) MMD 검정이 공격 시작 시점에 급격히 상승해 5% 유의수준 이하의 p‑값을 산출함을 보여준다. 전체적으로 제안된 프레임워크는 동적 게임 환경에서 보안된 이차 유틸리티 정보를 활용해 공격을 조기에 탐지하고, 시스템 상태 추정의 견고성을 확보한다.