ΑΣΜ2S: Automated Synthesis of Runtime Monitors for Safe & Secure Distributed Industrial Systems


The goal of the project is to develop methods and tools for the automated synthesis of runtime security monitors for distributed applications of industrial processes. The monitor will detect computational and false data injection attacks, combining verification techniques for computational attacks and fault diagnosis techniques for dynamic systems in order to detect false data injection attacks. The objectives are (1) the development of behavior‐based methods for detecting deviations of a distributed application execution from the specified behavior of a correct application specification, (2) the development of fault detection and diagnosis methods for false data injection attacks in distributed industrial applications, (3) the development of a unified monitoring methodology that combines the above methods, and (4) the development of a method and a tool the automatically synthesizes a monitor using the unified monitoring framework.

Duration
36
Timeline
2022/2025
Project Types
National Research Projects
Funding Agency
2nd Call for H.F.R.I.’s Research Projects to Support Faculty Members & Researchers