공격 탐지를 위한 센서 전환 제어와 유한표본 동적 워터마킹

본 논문은 사이버‑물리 시스템(CPS)에서 센서 공격을 탐지하고 완화하기 위한 새로운 제어 전략을 제안한다. 연구 배경으로는 고정밀 센서는 측정 정확도가 뛰어나지만 외부 공격에 취약하고, 저정밀 센서는 정확도는 낮지만 물리적으로 공격이 불가능하다는 현실적인 센서 구성을 들었다. 이러한 이중 센서 구조에서, 시스템은 고정밀 센서를 기본으로 사용하되, 공격이 감지되면 저정밀 센서로 전환하고, 공격이 사라지면 다시 고정밀 센서로 복귀하는 전환 정책이 필요하다. 동적 워터마킹(dynamic watermarking)은 제어 입력에 비밀 랜덤 신호(eₙ)를 삽입해 센서 출력과 워터마크 사이의 상관관계를 검증함으로써 공격을 탐지하는 기법이다. 기존 연구는 주로 무한시간 평균을 기반으로 한 비대칭 검정에 의존했으며, 제한된 데이터(유한표본) 상황에서 허위 경보율을 정확히 제어하기 어려웠다. 이를 해결하기 위해 저자들은 최신 행렬 집중 이론을 도입한다. Stein’s method와 교환 가능한 쌍(exchangeable pairs) 개념을 활용해, 조건부 독립성을 갖는 행렬들의 합에 대한 Hoeffding‑type 부등식과 McDiarmid‑type 부등식을 확장하였다. 이 부등식들은 랜덤 행렬의 최대 고유값에 대한 지수 꼬리 확률을 제공하여, 제한된 샘플 수에서도 허위 경보 확률을 사전에 설정한 수준 이하로 억제할 수 있게 한다. 논문은 MIMO LTI 시스템을 모델링하고, 두 개의 관측 행렬 C₁(고정밀)과 C₂(저정밀)를 스위칭한다. 시스템 방정식은 xₙ₊₁ = A xₙ + B uₙ + wₙ, yₙ = C(αₙ) xₙ + zₙ(αₙ) + αₙ vₙ 로 정의된다. 여기서 αₙ∈{0,1}은 스위칭 제어 변수이며, vₙ은 공격 벡터로 αₙ=1일 때만 C₁에 영향을 미친다. 프로세스 잡음 wₙ과 측정 잡음 zₙ은 i.i.d.이며 유계(K_w, K_z)로 가정한다. 시스템은 (A,B) 안정가능하고 (A,C₁),(A,C₂) 가 검출가능하므로, 상태 피드백 K와 관측기 이득 L₁, L₂를 설계해 각각의 관측기에 대해 안정적인 추정기를 구성한다. 동적 워터마킹은 제어 입력 uₙ = K x̂ₙ + eₙ 형태로 구현되며, eₙ은 공격자에게 비밀인 랜덤 신호이다. 검정 통계량 sₙ =