HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems.

本文针对网络物理系统（CPS）的安全建模问题，提出了一种结合混合输入输出自动机（HIOA）与博弈论的方法。在CPS中，多个子网络由不同的防御者拥有，安全威胁通过攻击图表示，防御者需要在有限预算下合理投资以保护关键资产。作者首先建立了HIOA

历史摘要 · 未重新核验 · IEEE S&P