기술 요약: 시계열 파운데이션 모델을 이용한 공격 탐지

문제 정의

본 논문은 운영자가 플랜트 모델(구조 및 파라미터 모두)에 대한 지식이 전혀 없는 사이버 물리 시스템(CPS)에서의 사이버 공격 탐지 문제를 다룹다. 시나리오는 원격지에 위치한 플랜트가 조작 가능한 네트워크를 통해 센서 측정값을 전송하는 상황을 포함한다. 저자들은 두 가지 특정 유형의 공격에 초점을 맞춘다:

1. 모델 프리 리플레이 공격(Model-free replay attacks): 공격자가 시스템 지식 없이도 기록된 정상 데이터를 재생하는 방식(예: Stux-net 스타일).
2. 모델 기반 스텔스 공격(Model-based stealthy attacks): 시스템에 대한 완전한 지식을 가진 공격자가 기본 모델 기반 $\chi^2$ 탐지기를 우회하여 상태 추정치를 최대한 편향시키도록 설계된 입력을 생성하는 방식.

핵심 연구 질문은 시계열 파운데이션 모델이 이러한 공격들(특히 기존 모델 기반 탐지기($g_p$)를 회피하도록 설계된 공격 포함)을 식별하기 위한 "모델 구조로부터 자유로운(model-structure-free)" 보조 탐지기($g_s$) 역할을 할 수 있는지 여부이다.

방법론

1. 최적의 스텔스 공격 구축

엄격한 베이스라인을 설정하기 위해, 저자들은 먼저 기본 $\chi^2$ 탐지기에 대한 최적의 스텔스 공격 정책에 대한 폐쇄형 해(closed-form expressions)를 도출한다.

• 선형 시불변(LTI) 시스템: 정적 관측기(예: Luenberger 또는 steady-state Kalman)를 사용하는 시스템에 대해, 저자들은 탐지 통계량이 지정된 확률 내에서 임계값 미만으로 유지되도록 하는 제약 조건 하에서 추정 오차를 최대화하는 공격 벡터를 도출한다.
• 비선형 시스템: 확장 칼만 필터(EKF)를 사용하는 시스템의 경우, 편차 역학(deviation dynamics)의 1차 선형화를 사용하여 근사적인 폐쇄형 솔루션을 도출한다.
• 핵심 통찰: 이렇게 도출된 공격들은 공격자가 완전한 모델 지식을 가지고 있다는 가정하에, 구성상 기본 모델 기반 탐지기($g_p$)에 대해 수학적으로 완벽하게 스텔스 상태임이 보장된다.

2. TimesFM 기반 탐지 알고리즘

제안된 솔루션은 모델 기반 잔차 생성기를 TimesFM으로 대체한다. TimesFM은 Google Research에서 개발한 시계열 파운데이션 모델이다.

• 제로샷 동작(Zero-Shot Operation): TimesFM은 특정 플랜트 데이터에 대한 학습, 미세 조정(fine-tuning) 또는 재학습 없이 동작한다. 이는 수십억 개의 다양한 시계열 데이터 포인트로 사전 학습된 능력을 활용한다.
• 대리 잔차 생성(Surrogate Residual Generation): 이 알고리즘은 TimesFM의 예측값을 시스템의 기대 동작에 대한 대리물로 취급한다. 잔차는 실제(잠재적으로 오염된) 센서 측정값과 TimesFM 예측값 사이의 차이로 정의된다.
• 탐지 통계량: 이 예측 잔차에 $\chi^2$ 검정이 적용된다.
• 완화 메커니즘: 공격이 탐지되면, 알고리즘은 오염된 측정값을 TimesFM의 점 예측값(point predictions)으로 대체하여 상태 추정을 유지할 수 있다. 이는 고전적인 센서 중복성 가정이 실패할 때 효과적인 중복성 대체물 역할을 한다.

알고리즘 워크플로우:

1. 웜업(Warmup): TimesFM은 과거 데이터 윈도우를 관찰하여 예측을 형성한다.
2. 공분산 추정: 깨끗한 데이터 윈도우를 사용하여 정상 작동 시의 예측 잔차 공분산을 추정한다.
3. 온라인 탐지: $\chi^2$ 통계량이 계산된다. 경보가 발생하면, 향후 예측을 오염시키지 않도록 버퍼에 오염된 측정값을 업데이트하지 않는다.

주요 기여

1. 폐쇄형 최적 공격 정책: 본 논문은 공격자가 완전한 모델 지식을 보유하고 있다고 가정할 때, LTI 및 비선형 시스템에 대한 $\chi^2$ 탐지기 대상 최적 스텔스 공격에 대한 최초의 폐쇄형 표현식을 제공한다.
2. 모델 구조로부터 자유로운 탐지: 저자들은 명시적인 시스템 모델이 필요 없는 TimesFM 기반의 탐지기를 제안하고 검증한다. 이 탐지기는 특정 작업에 대한 학습과 하이퍼파라미터 튜닝이 필요한 기존의 데이터 기반 방식과 달리 제로샷 방식으로 동작한다.
3. 스텔스 공격에 대한 강건성: 모델 기반 탐지기에 대해 완벽하게 스텔스하도록 설계된 공격이 TimesFM 기반 탐지기에 의해 안정적으로 탐지됨을 입증하였다. 이는 TimesFM이 모델 기반 공격자가 악용하는 특정 "혁신 구조(innovation structure)"를 결여하고 있기 때문이다.
4. 예측을 통한 완화: 본 연구는 Times-FM 예측값이 오염된 측정값을 대체할 수 있음을 경험적으로 보여주며, 이를 통해 센서 중복성 가정(예: $N-2M$ 센서)을 위반하는 상황에서도 강건한 상태 추정을 가능하게 한다.

실험 결과

제안된 접근 방식의 효용성은 두 가지 시스템을 통해 검증되었다:

1. 무댐핑 질량-스프링 시스템 (선형)

• 리플레이 공격: TimesFM 탐지기는 공격 지속 시간 동안 0.5%의 오탐률(FAR)(관측기 기반 탐지기는 2.8%)을 달성하며 탐지를 지속한 반-면, 관측기 기반 탐지기의 알람은 간헐적이었으며 노이즈와 구분이 불가능했다.
• 스텔스 공격: 정리 1(Theorem 1)을 사용하여 구축된 공격은 EKF 기반 탐지기에서는 탐지되지 않았으나(FAR이 정상 수준 유지), TimesFM에 의해 일관되게 탐지되었다.
• 단일 센서 공격: 가용 가능한 유일한 센서가 오염되어 표준 중복성을 위반하는 시나리오에서, TimesFM으로 보호된 관측기는 보호되지 않은 관측기보다 현저히 낮은 상태 재구성 오차를 달와냈다.
• 적응형 공격자: 두 탐지기를 동시에 회피하기 위해 SPSA를 사용하는 적응형 공격자에 대해, TimesFM 탐지기의 존재는 모델 기반 탐지기만을 대상으로 하는 공격에 비해 공격자의 영향을 91배 감소시켰다.

2. IEEE 14-Bus 전력 시스템 (비선형)

• 설정: 14개 버스와 20개의 송전선을 가진 비선형 스윙 방정식 모델.
• 리플레이 공격: TimesFM은 공격 기간 내내 일관되로 경보를 발생시켰다. 반면 EKF 기반 탐지기는 리플레이된 데이터가 모델 기반 잔차 내에서 정상 상태와 구분이 불가능해지는 초기 단계에서만 공격을 탐지했다.
• 스텔스 공격: 정리 2(Theorem 2)의 비선형 공격 정책을 사용했을 때, EKF 탐지기는 경보를 울리지 않았다. 대조적으로, TimesFM은 모든 시행에서 공격을 탐지했다.
• 통계적 타당성: 샤피로-윌크(Shapiro-Wilk) 검정을 통해 정상 작동 시의 예측 잔차가 근사적으로 가우시안 분포를 따름을 확인하였으며, 이는 $\chi^2$ 통계량 사용의 타당성을 입증한다.

의의 및 주장

저자들은 본 연구를 CPS 보안을 위한 **방어 심층(defense-in-depth)**의 중요한 단계로 규정한다. TimesFM 탐지기를 "두 번째 방어 계층"(스위스 치즈 모델에서 영감을 받음)으로 프레이밍함으로써, 다음과 같이 주장한다:

• 모델 프리의 이점: 명시적인 시스템 모델에 의존하는 전통적인 탐지기와 달리, TimesFM의 폐쇄형 혁신 구조의 부재는 모델 기반 공격자가 스텔스 공격을 구축하기 어렵게 만든다.
• 플러그 앤 플레이 기능: TimesFM의 제로샷 특성은 재학습이나 시스템 식별의 필요성을 제거하여, 모델 지식을 얻을 수 없거나 신뢰할 수 없는 일반적인 비선형 시스템에 실용적인 솔루션이 된다.
• 탐지를 넘어선 활용: 본 논문은 파운데이션 모델이 단순한 탐지기뿐만 아니라, 센서 중복성이 손상되었을 때 상태 추정을 복구하는 실질적인 완화 도구로서의 역할을 할 수 있다고 주장한다.

결론적으로, 저자들은 본 연구가 모델 구조에 구애받지 않는 파운데이션 모델 기반의 제로샷 탐지기를 제안하여, 노이즈가 존재하는 환경에서 리플레이 및 모델 기반 스텔스 공격을 모두 처리할 수 있는 최초의 연구라고 밝히고 있다.