Graphical security models constitute a well-known, user-friendly way to represent the
security of a system. These classes of models are used by security experts to identify …

Complex industrial automation systems and processes, such as chemical processes,
manufacturing systems, wireless network systems, power and energy systems, smart grids …

Security of cyber-physical systems (CPS) continues to pose new challenges due to the tight
integration and operational complexity of the cyber and physical components. To address …

Adversary emulation is an offensive exercise that provides a comprehensive assessment of
a system's resilience against cyber attacks. However, adversary emulation is typically a …

Vulnerable parts in the cyber-physical power system can be maliciously attacked to trigger
cascading failures. This paper proposes a defense framework with active and passive …

We propose a new method to quantify the impact of cyber attacks in Cyber Physical Systems
(CPSs). In particular, our method allows to identify the Design Parameter (DPs) affected due …

Cyber-Physical Systems (CPSs) have a large input space, with discrete and continuous
elements across multiple layers. Hybrid Attack Graphs (HAGs) provide a flexible and efficient …

Attack graph is an essential tool for the security assessment of industrial Internet systems.
Unfortunately, the traditional attack graph mainly focuses on discrete information and cannot …

The propagation of cascading failures of modern power systems is mainly constrained by
the network topology and system parameter. In order to alleviate the cascading failure …

Complex industrial automation systems and processes, such as chemical processes,
manufacturing systems, wireless network systems, power and energy systems, smart grids …