对拒绝服务与完整性攻击的弹性：一种结构化系统方法

本文研究信息物理系统对拒绝服务（DoS）与完整性攻击的弹性。信息物理系统被建模为线性结构化系统，其对攻击的弹性在图论框架中加以解释。系统的结构弹性通过二部图最大匹配中的未匹配顶点以及受攻击系统有向图表示的连通分量来刻画。我们首先给出当攻击者可能阻断访问或关闭系统某些输入时，系统对 DoS 攻击具有弹性的条件。我们将此分析推广到攻击者还可能具备影响状态反馈控制策略实现的能力的情形，这被称为完整性攻击。我们建立了结构上对 DoS 攻击弹性的系统也对某类完整性攻击具有弹性的条件。最后，我们表述了到切换线性系统情形的推广，并导出此类系统对 DoS 攻击具有结构弹性的条件。