Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
复制标题
演示摘要：在 Microsoft 飞行模拟器上通过伪造分析 CPS 安全性
DOI：
10.1145/3575870.3589550
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Fainekos, Georgios
中科院分区：
文献类型：
--
作者：
Khandait, Tanmay;Chandratre, Aniruddh;Baptista, Walstan;Pedrielli, Giulia;Fainekos, Georgios
在题为“隐形攻击形式化为CPS安全伪造的STL公式”的论文中，我们分别以影响测量和控制的加性扰动的形式研究了对传感器和驱动块的广泛攻击。在这个演示中，我们演示了我们的框架和底层技术的使用，以及使用Microsoft Flight Simulator （MSFS）对航空系统进行的案例研究。
In the paper titled " Stealthy attacks formalized as STL formulas for Falsification of CPS Security", we investigate a broad class of attacks on the sensor and actuation blocks in the form of additive perturbation that impacts the measurement and control, respectively. In this demo, we demonstrate the usage of our framework and the underlying technologies along with a case study on aviation systems using Microsoft Flight Simulator (MSFS).
隐形攻击形式化为用于伪造 CPS 安全的 STL 公式
DOI：
--
发表时间：
2023
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Aniruddh Chandratre;Tomas Hernandez Acosta;Tanmay Khandait;Giulia Pedrielli;Georgios Fainekos
通讯作者：
Georgios Fainekos