A Nonlinear Incremental Approach for Replay Attack Detection

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

• 배경: 사이버 - 물리 시스템 (CPS) 은 계산 알고리즘과 물리 구성 요소의 통합으로, 통신 네트워크를 통해 연결되어 있어 보안 위협에 노출되어 있습니다. 그중 재플레이 공격 (Replay Attack) 은 시스템 모델 지식 없이도 과거의 센서 데이터를 녹음하여 재생함으로써 시스템을 마비시키거나 손상시킬 수 있어 매우 위험합니다.
• 기존 연구의 한계: 기존 재플레이 공격 탐지 연구는 주로 선형 시스템에 집중되어 있었습니다. 선형 시스템에서는 혁신 (innovation) 기반의 $\chi^2$ 탐지기가 널리 사용되지만, 특정 안정성 조건 하에서는 재플레이 공격을 탐지하지 못하거나 탐지율이 허위 경보율과 수렴하는 문제가 있습니다. 이를 해결하기 위해 제어 입력에 '워터마킹 (Watermarking)' 신호를 추가하는 방식이 제안되었습니다.
• 본 연구의 문제: 그러나 기존 워터마킹 기법들은 대부분 선형 시스템을 가정하고 있으며, 비선형 시스템으로 확장하는 것은 복잡합니다. 특히 비선형 시스템에서는 혁신 공분산의 차이를 명시적으로 계산하거나 선형 - 2 차 - 가우시안 (LQG) 비용 손실을 정량화하는 것이 어렵기 때문에, 기존의 탐지 성능 및 제어 성능 저하 평가 방법이 적용되지 않습니다.
• 핵심 질문:
  1. 비선형 시스템에서 혁신 기반 탐지기만으로는 재플레이 공격을 탐지하기에 충분한가?
  2. 그렇지 않다면, 비선형 시스템을 위한 체계적인 워터마킹 기반 재플레이 탐지 방법은 무엇인가?

2. 방법론 (Methodology)

본 논문은 비선형 플랜트 (Plant), 관측기 (Observer), 상태 피드백 제어기로 구성된 시스템을 가정하며, 다음과 같은 방법론을 제시합니다.

• 혁신 기반 탐지기의 한계 분석:
  • 혁신 기반 탐지기가 재플레이 공격 하에서 실패할 수 있음을 수학적으로 증명했습니다. 공격자가 녹음된 데이터를 재생할 때, 관측기의 상태가 안정적이라면 탐지 신호가 정상 상태와 구별되지 않아 탐지에 실패할 수 있습니다.
• 워터마킹 기반 프레임워크 도입:
  • 제어 입력에 워터마킹 신호 ($v$) 를 추가하여, 공격자가 재생한 데이터와 실제 시스템의 응답 간의 불일치를 유발하도록 설계합니다.
• 증분 이득 (Incremental Gains) 을 활용한 성능 정량화:
  • 비선형 시스템의 특성을 반영하기 위해 증분 $L_2$ 이득 (Incremental $L_2$ Gain) 개념을 도입했습니다.
  • 탐지 성능: 워터마킹 신호가 공격 탐지기에 미치는 하한을 증분 $L_-^{\delta 2}$ 이득으로 정의하고, 이를 통해 공격 발생 시 탐지 신호가 임계값을 초과함을 보장합니다.
  • 제어 성능 저하: 워터마킹으로 인한 시스템 출력의 변화를 증분 $L_+^{\delta 2}$ 이득으로 상한을 설정하여 제어 성능 저하를 정량화합니다.
• 최적화 문제 및 설계 알고리즘:
  • 탐지 성능 ($\beta$, $L_-^{\delta 2}$ 이득) 을 최대화하면서 제어 성능 저하 ($\alpha$, $L_+^{\delta 2}$ 이득) 를 제한하는 최적화 문제를 수립했습니다.
  • 비선형 시스템의 특성상 선형 부등식 (LMI) 으로 직접 풀기 어려운 문제를 해결하기 위해 반복적 LMI (Iterative LMI) 기법을 사용하여 워터마킹 게인 ($G$), 제어기 ($K$), 관측기 ($L$) 를 설계했습니다.
  • 공동 설계 (Co-design): 워터마킹, 제어기, 관측기를 동시에 설계하여 탐지 성능과 제어 성능 간의 균형을 최적화하는 알고리즘을 제안했습니다.
• 워터마킹 신호 생성:
  • 주기적이지 않고 예측 불가능한 신호를 생성하기 위해 카오스 (Chaotic) 시스템과 베르누이 (Bernoulli) 확률 분포를 기반으로 한 워터마킹 신호 예시를 제시했습니다.

3. 주요 기여 (Key Contributions)

1. 비선형 시스템을 위한 새로운 워터마킹 프레임워크: 혁신 기반 탐지기의 실패 가능성을 분석하고, 증분 이득을 기반으로 한 워터마킹 설계 프레임워크를 제안했습니다.
2. 충분 조건의 수립 및 최적화: 특정 탐지 성능과 제어 성능 저하에 대한 충분 조건을 수학적으로 증명하여, 이를 해결 가능한 최적화 문제로 변환했습니다.
3. 공동 설계 (Co-design) 접근법: 워터마킹, 제어기, 관측기를 통합적으로 설계하여 단일 설계보다 우수한 성능 균형을 달성하는 체계적인 방법을 개발했습니다.
4. 증분 $L_-^{\delta 2}$ 이득의 확장 및 특성화:
   • 기존에 잘 연구되지 않았던 증분 $L_-^{\delta 2}$ 이득을 정의하고, 이에 대한 Lyapunov 함수 및 LMI 특성을 제시했습니다.
   • 탐지 성능과 이 이득 간의 명확한 연결 고리를 확립하여 효과적인 성능 평가를 가능하게 했습니다.
5. 선형 시스템으로의 일반화: 제안된 프레임워크가 선형 시스템의 기존 방법론을 포함하면서도 비선형 확장성을 가진다는 점을 보였습니다.

4. 실험 결과 (Results)

• 시뮬레이션 환경: 단일 링크 로봇 시스템 (Single-link robot system) 을 비선형 플랜트로 사용하여 검증했습니다.
• 알고리즘 성능: 제안된 반복적 LMI 알고리즘 (Algorithm 2) 을 통해 제어기, 관측기, 워터마킹 게인을 최적화한 결과, 초기 설계 대비 탐지 성능 ($\beta$) 이 크게 향상되었습니다.
• 워터마킹 유형 비교:
  • 카오스 워터마킹과 베르누이 워터마킹 모두 재플레이 공격을 효과적으로 탐지했습니다.
  • 최적화된 파라미터 ($K_{opt}, L_{opt}, G_{opt}$) 를 사용한 경우, 비최적 파라미터 대비 탐지율이 100% 에 근접하고 평균 탐지 지연 시간 (Average Detection Delay) 이 크게 단축되었습니다 (예: 베르누이 워터마킹 시 평균 지연 1.22s $\to$ 0.66s).
• 노이즈 내성: 다양한 노이즈 레벨에서 실험한 결과, 최적화된 설계가 모든 노이즈 조건에서 더 높은 탐지 성능 지수 ($D$) 를 보여주었습니다.
• 제어 성능 유지: 탐지 성능이 향상되었음에도 불구하고, 제어 시스템의 성능 저하 ($\alpha$) 는 설정된 제한 범위 내에서 유지되었습니다.

5. 의의 및 결론 (Significance)

• 비선형 CPS 보안의 새로운 패러다임: 기존 선형 시스템 중심의 재플레이 공격 탐지 연구를 비선형 영역으로 확장하여, 실제 산업 현장에서 더 복잡한 비선형 동역학을 가진 CPS 의 보안성을 높이는 데 기여했습니다.
• 정량적 성능 균형: 탐지 성능과 제어 성능 저하 사이의 트레이드오프를 증분 이득을 통해 정량화하고 최적화함으로써, 실용적인 보안 솔루션 설계에 필요한 이론적 기반을 마련했습니다.
• 실용성: 워터마킹 신호를 제어 입력에 추가하는 방식은 기존 제어기나 관측기의 구조를 크게 변경하지 않으면서도 보안성을 강화할 수 있어, 실제 시스템 적용에 유리합니다.

요약하자면, 이 논문은 비선형 시스템에서 재플레이 공격을 탐지하기 위해 증분 이득 이론을 기반으로 한 워터마킹 설계 프레임워크를 제안하고, 이를 통해 탐지 성능과 제어 성능 간의 최적 균형을 달성하는 방법을 수학적으로 증명하고 시뮬레이션으로 검증한 중요한 연구입니다.