论文标题
最快的贝叶斯和非拜拜西亚对远程状态估计中虚假数据注射攻击的检测
Quickest Bayesian and non-Bayesian detection of false data injection attack in remote state estimation
论文作者
论文摘要
在本文中,考虑了对远程状态估计的错误数据注射攻击的最快检测。一组$ n $传感器对带有高斯噪声的离散时间线性过程进行了嘈杂的线性观察,并将观察结果报告给远程估计器。面临的挑战是存在一些潜在的恶意传感器,这些传感器可以随机开始战略性地操纵其观察结果,以使估计值偏斜。贝叶斯环境中已知的{\ em线性}攻击方案的最快攻击检测问题在攻击开始时进行了几何事先提前,作为一个受约束的马尔可夫决策过程(MDP),以最大程度地减少预期检测延迟,以最大程度地减少对估计器攻击的可能性信念的错误警报限制,因为该系统在攻击下均受到估计。状态过渡概率是根据系统参数得出的,最佳策略的结构是分析得出的。事实证明,最佳政策等于检查概率信念是否超过阈值。接下来,针对非贝拉斯环境提出了广义基于CUSUM的攻击检测算法,在该环境中,攻击者以特别的对抗性方式选择了攻击开始。事实证明,在此设置中计算广义CUSUM测试的统计量依赖于开发的相同技术来计算MDP的状态过渡概率。数值结果表明,在针对竞争算法的拟议算法下,性能增长显着。
In this paper, quickest detection of false data injection attack on remote state estimation is considered. A set of $N$ sensors make noisy linear observations of a discrete-time linear process with Gaussian noise, and report the observations to a remote estimator. The challenge is the presence of a few potentially malicious sensors which can start strategically manipulating their observations at a random time in order to skew the estimates. The quickest attack detection problem for a known {\em linear} attack scheme in the Bayesian setting with a Geometric prior on the attack initiation instant is posed as a constrained Markov decision process (MDP), in order to minimize the expected detection delay subject to a false alarm constraint, with the state involving the probability belief at the estimator that the system is under attack. State transition probabilities are derived in terms of system parameters, and the structure of the optimal policy is derived analytically. It turns out that the optimal policy amounts to checking whether the probability belief exceeds a threshold. Next, generalized CUSUM based attack detection algorithm is proposed for the non-Bayesian setting where the attacker chooses the attack initiation instant in a particularly adversarial manner. It turns out that computing the statistic for the generalised CUSUM test in this setting relies on the same techniques developed to compute the state transition probabilities of the MDP. Numerical results demonstrate significant performance gain under the proposed algorithms against competing algorithms.