中文

隐蔽攻击下线性时不变系统的高效预测监控

密码学与安全 2021-06-07 v1 系统与控制 系统与控制

摘要

对工业控制系统(ICS)的攻击可导致严重的物理损坏。虽然离线的安全与安全性评估可揭示易受攻击的系统组件,但可能未考虑旨在长时间运行瞬态中规避异常检测器的隐蔽攻击。本文提出一种预测式在线监控方法,以检验系统在潜在隐蔽攻击下的安全性。具体而言,我们将先前可达性分析用于攻击影响评估的结果进行改造,为线性时不变(LTI)系统提供一种高效的在线安全监控算法。该方法依赖于以系统估计物理状态表示的符号可达集的离线计算。随后在线实例化这些集合,并利用椭球演算的思想执行安全检查。我们使用田纳西-伊士曼过程对所提方法进行说明与评估,并与先前工作提出的基线监控方法比较,评估其效率与可扩展性。评估结果表明,我们的方法能及时预测虚假数据注入攻击是否能在不被检测的情况下造成损坏,从而可为操作员提供关于隐蔽攻击的实时预警。

关键词

引用

@article{arxiv.2106.02378,
  title  = {Efficient Predictive Monitoring of Linear Time-Invariant Systems Under Stealthy Attacks},
  author = {Mazen Azzam and Liliana Pasquale and Gregory Provan and Bashar Nuseibeh},
  journal= {arXiv preprint arXiv:2106.02378},
  year   = {2021}
}