게임 이론 기반 연속 가설 검정과 비잔틴 센서 방어

본 논문은 네트워크 기반 센서 시스템이 사이버 공격, 특히 비잔틴(조작 가능한) 센서에 의해 위협받는 상황을 가정하고, 순차 이진 가설 검정 문제를 새로운 게임 이론적 프레임워크로 접근한다. 시스템은 s개의 센서를 가지고 있으며, 그 중 정확히 c개의 센서는 적대적 공격자에 의해 관측값이 임의로 변조될 수 있다. 공격자는 변조된 관측값을 실제 관측값에 더해 최종 관측값 x′(k)=x(k)+x_a(k) 를 fusion center 로 전송한다. 여기서 x_a(k) 는 공격자가 선택한 편향 벡터이며, 공격자는 변조 가능한 센서 집합 C의 크기 c만을 알고 센서의 구체적 인덱스는 모른다. 또한 공격자는 (1) 두 가설에 대한 사전 확률 분포 µ와 ν를 완전히 알고, (2) 실제 시스템 상태 θ를 알고, (3) 손상된 센서들의 원본 관측값을 실시간으로 파악한다는 가정을 둔다. 이러한 가정은 최악의 경우를 고려한 ‘Kerckhoffs’s principle’에 부합한다. 성능 평가는 오류 확률 α(제1종 오류)와 β(제2종 오류)가 0에 수렴할 때, 평균 샘플 수(ASN) T와 로그 역오류 확률 log(1/α)의 곱인 γ(f,g)=lim_{α,β→0} log(1/α)·E_g