스마트 스푸핑에 강인한 분산 상태 추정 토폴로지

본 논문은 사이버‑물리 시스템(CPS)에서 대규모 네트워크 관측자들이 비동기 통신과 유한 지연을 전제로 LTI(Linear Time‑Invariant) 시스템의 상태를 공동으로 추정하는 문제를 다룬다. 기존 연구는 주로 바이오스(Byzantine) 공격이나 단일 스푸핑 공격을 별도로 고려했지만, 실제 환경에서는 두 위협이 결합된 형태가 나타날 수 있다. 이를 반영해 저자들은 ‘스마트 스푸퍼(smart spoofer)’라는 새로운 적대 모델을 정의한다. 스마트 스푸퍼는 (1) 네트워크 토폴로지와 시스템 행렬에 대한 완전한 지식, (2) 임의값 전송 및 알고리즘 무시, (3) 의도적인 지연과 비동기 전송, (4) 다른 노드의 ID를 도용해 메시지를 위장하는 능력을 동시에 갖는다. 이러한 복합 위협은 기존의 인증·무결성 방어 메커니즘을 무력화시키며, 특히 비동기 환경에서는 악성 노드가 정상 노드의 업데이트 타이밍을 교묘히 조작해 전체 추정 과정에 큰 오류를 주입할 수 있다. 문제 정의는 ‘탄력적 전지식(resilient omniscience)’이다. 이는 모든 정상 노드(i∈R)가 시간 k→∞에 상태 추정값 ˆx_i