How Sensor Attacks Transfer Across Lie Groups

1. 연구 배경 및 문제 정의 (Problem)

• 배경: 사이버 - 물리 시스템 (CPS) 에서 센서 스푸핑 (Spoofing) 은 심각한 위협입니다. 기존 연구는 주로 유클리드 공간 (선형 상태 공간) 에 집중되어 왔습니다. 선형 시스템에서는 센서 오프셋과 같은 공격이 운영 조건에 관계없이 단순히 전이 (Transfer) 되므로, '전이성 (Transferability)'은 큰 문제가 되지 않았습니다.
• 문제점: 많은 안전 필수 시스템 (자율주행차, 드론, 로봇 등) 은 리 군 (Lie Groups, 예: SE(2), SE(3), SO(3)) 상에서 정의된 비선형 동역학을 가집니다. 리 군에서는 연산이 비가환적 (Non-commutative) 이기 때문에, 시스템의 비선형 운동 (예: 회전) 은 공격 벡터를 왜곡시킬 수 있습니다.
  • 핵심 질문: 직선 주행 시에는 은밀 (Stealthy) 하던 센서 공격이 회전 (Maneuver) 시에도 동일한 물리적 영향을 미치며 탐지되지 않고 전이될 수 있는가?
  • 목표: 리 군 기반 동역학 하에서 공격이 다른 운영 조건으로 전이될 수 있는 대수적 조건을 규명하고, 전이 시 발생하는 물리적 영향과 은밀성의 변화를 분석하는 것입니다.

2. 방법론 (Methodology)

저자는 리 군의 기하학적 구조와 대수적 성질을 활용한 프레임워크를 제시합니다.

• 시스템 모델링:
  • 좌우 불변 (Left-invariant) 동역학을 가진 리 군 $G$ 상의 시스템을 가정합니다.
  • 공격은 상태 $x$ 에 대한 우변 변환 (Right translation) $x \cdot \exp(\xi)$ 로 모델링됩니다.
  • 탐지기는 공변성 (Equivariant) 관측기 (예: Invariant Extended Kalman Filter, IEKF) 를 사용하여 상태 오차를 기하학적으로 불변인 형태로 계산합니다.
• 공격 전이성 정의:
  • 동적 영향 (Dynamical Impact): 공격이 시스템 상태에 미치는 실제 물리적 변화.
  • 은밀성 (Stealth): 탐지기의 혁신 (Innovation) 잔차가 임계값 이하로 유지되는 정도.
  • 전이성 (Transferability): 학습된 공격이 다른 상태/동역학 조건에서도 동일한 동적 영향과 은밀성을 유지하는 능력.
• 수학적 도구:
  • 리 괄호 (Lie Bracket): $[f_e, \xi]$ 를 사용하여 공격 벡터 $\xi$ 와 시스템 동역학 $f_e$ 의 가환성 (Commutativity) 을 분석합니다.
  • Adjoint 작용 (Adjoint Action): $Ad_g$ 를 통해 흐름 (Flow) 이 공격 벡터를 어떻게 변환 (왜곡) 하는지 분석합니다.

3. 주요 기여 및 이론적 결과 (Key Contributions & Results)

3.1. 전이성의 대수적 조건 (Lie Algebraic Characterization)

• Proposition 1: 공격이 모든 상태에 대해 동일한 동적 영향을 미치기 위한 필요충분조건은 공격 벡터 $\xi$ 가 시스템 동역학 $f_e$ 와 리 괄호를 0 으로 만드는 것입니다.
  • 조건: $[f_e, \xi] = 0$
  • 이는 공격이 불변 부분공간 (Invariant Subspace) $\Delta_{f_e} = \ker([f_e, \cdot])$ 에 속해야 함을 의미합니다.
  • 의미: 선형 시스템에서는 모든 공격이 전이되지만, 리 군에서는 오직 특정 방향 (가환하는 방향) 의 공격만 전이 가능합니다.

3.2. 불변 부분공간과 기하학적 제약

• Corollary 2: 전이 가능한 공격은 시스템이 속한 적분 다양체 (Integral Manifold) 또는 코셋 (Coset) 내에서만 상태를 이동시킵니다.
  • 이는 공격자가 상태를 임의로 조작할 수 있는 자유도 (Degrees of Freedom) 를 제한합니다.
  • 방어 전략: 방어자는 입력 $u$ 를 변경하여 $\Delta_{f_e}$ 의 차원을 축소 (Collapse) 시킴으로써 공격자의 전이 가능한 공격 공간을 제한할 수 있습니다 (예: 회전 시 전이 가능 방향이 곡선 접선 방향 하나로 축소됨).

3.3. 분해 정리 및 비대칭성 (Decomposition Theorem & Asymmetry)

실제 공격자는 이상적인 전이 조건을 완벽하게 알 수 없으므로, 공격 벡터를 이상적 성분 ($\xi \in \Delta_{f_e}$) 과 잔차 성분 ($\rho \notin \Delta_{e}$) 으로 분해합니다.

• Theorem 1:
  1. 동적 영향 (Dynamical Impact): 잔차 성분 $\rho$ 는 시스템의 흐름 $g_{k-1}$ 에 의해 Adjoint 작용 ($Ad_{g_{k-1}}$) 을 받아 증폭됩니다.
     • 물리적 오차는 시스템의 절대적 구성 (Absolute Configuration) 에 따라 왜곡되고 증폭될 수 있습니다.
  2. 은밀성 (Stealth): 공변성 관측기 프레임워크 하에서, 탐지기의 혁신 (Innovation) 은 Adjoint 작용에 의해 보호 (Shielded) 됩니다.
     • 핵심 발견: 물리적 영향은 증폭되지만, 탐지기에 나타나는 오차 (Stealth) 는 선형적으로만 변화하며 Adjoint 증폭을 받지 않습니다.
  • 결론: 공격자가 작은 오차 (잔차) 를 범하더라도, 물리적 영향은 심각하게 왜곡될 수 있지만, 은밀성은 상대적으로 안정적으로 유지될 수 있습니다. 이는 공격자에게 "기하학적 구멍 (Geometric Loophole)"을 제공합니다.

3.4. 수치적 예시 (Dubins Unicycle)

• SE(2) 상의 Dubins 차량 모델을 사용하여 검증했습니다.
• 직진 주행: 측면 (Lateral) 공격이 전이 가능합니다.
• 회전 주행: 전이 가능한 방향이 곡선 접선 방향으로만 축소됩니다.
• 결과: 회전 중에도 측면 잔차 (Lateral Residual) 가 Adjoint 작용 하에서 단순히 회전할 뿐 크기가 증폭되지 않음을 확인했습니다. 이로 인해 공격은 탐지 임계값 ($\tau$) 을 넘지 않으면서도 시스템 추정을 왜곡시킬 수 있었습니다.

4. 의의 및 결론 (Significance & Conclusion)

• 이론적 의의: 센서 스푸핑 공격의 전이성을 단순한 데이터 문제에서 리 군의 기하학적 대칭성 (Symmetry) 과 가환성 (Commutativity) 문제로 재정의했습니다.
• 실무적 시사점:
  • 공격자 관점: 비선형 시스템에서도 특정 기하학적 조건 (불변 부분공간) 을 만족하면 공격을 은밀하게 전이할 수 있음을 보였습니다.
  • 방어자 관점: 시스템의 동역학을 변화시켜 (예: 회전 조작) 불변 부분공간의 차원을 축소함으로써 공격자의 전이 가능성을 원천적으로 차단할 수 있는 이론적 근거를 제공합니다.
• 핵심 통찰: 리 군 기반 시스템에서는 물리적 영향과 은밀성이 구조적으로 분리 (Asymmetry) 되어 있습니다. 이는 선형 시스템의 직관과 달리, 공격이 왜곡되더라도 탐지되지 않을 수 있음을 의미하며, CPS 보안 설계에 새로운 기하학적 관점을 요구합니다.

이 논문은 비선형 제어 이론과 사이버 보안의 교차점에서, 리 군의 대수적 구조가 공격의 전이성과 탐지 가능성에 어떻게 결정적인 영향을 미치는지를 체계적으로 규명한 중요한 연구입니다.