时空移动目标防御：一种马尔可夫 Stackelberg 博弈模型

移动目标防御已成为保护脆弱系统免受持续且隐蔽攻击的关键范式。为保护系统，防御者主动变更系统配置以限制安全漏洞对潜在攻击者的暴露。如此，防御者为攻击者制造了非对称的不确定性与复杂性，使其更难攻陷系统。实践中，防御者每次迁移系统配置会产生切换成本。切换成本通常取决于当前配置与后续配置。此外，不同系统配置通常需要攻击者不同的利用与攻击时间。因此，防御者必须同时决定最优的系统配置序列与最优的切换时机。本文提出一种马尔可夫 Stackelberg 博弈框架，以精确刻画面对高级攻击者时防御者的空间与时间决策。我们引入一种相对值迭代算法来计算防御者的最优移动目标防御策略。对真实问题的实证评估展示了马尔可夫 Stackelberg 博弈模型在时空移动目标防御中的优势。