A Bayesian Nash Equilibrium-Based Moving Target Defense Against Stealthy Sensor Attacks

• 成果类型: Article
• 署名作者: Umsonst, David; Sartas, Serkan; Dan, Gyorgy; Sandberg, Henrik
• 署名单位: Royal Institute of Technology; Middle East Technical University; Royal Institute of Technology
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3328754
• 发表日期: 2024
• 页码: 1659-1674
• 关键词: Detectors; COSTS; security; games; Bayes methods; Covariance matrices; control theory; Bayesian games; cyber-physical security; detection threshold; false data injection attacks; game theory; moving target defense (MTD); optimal control; optimization

摘要

We present a moving target defense strategy to reduce the impact of stealthy sensor attacks on feedback systems. The defender periodically and randomly switches between thresholds from a discrete set to increase the uncertainty for the attacker and make stealthy attacks detectable. However, the defender does not know the exact goal of the attacker but only the prior of the possible attacker goals. Here, we model one period with a constant threshold as a Bayesian game and use the Bayesian Nash equilibrium concept to find the distribution for the choice of the threshold in that period, which takes the defender's uncertainty about the attacker into account. To obtain the equilibrium distribution, the defender minimizes its cost consisting of the cost for false alarms and the cost induced by the attack. We present a necessary and sufficient condition for the existence of a moving target defense and formulate a linear program to determine the moving target defense. Furthermore, we present a closed-form solution for the special case when the defender knows the attacker's goals. The results are numerically evaluated on a four-tank process.