AFMT: Maintaining the safety-security of industrial control systems
Modern day industrial control systems are overwhelmingly complex. These systems feature
intricate interactions between the cyber and the physical components. At the same time, they …
intricate interactions between the cyber and the physical components. At the same time, they …
Analyzing the impact of cyberattacks on industrial control systems using timed automata
Many of today's critical infrastructures, including industrial control systems (ICS), are
evolving with the integration of numerous connected cyber components with legacy systems …
evolving with the integration of numerous connected cyber components with legacy systems …
Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS
Modern industrial control systems (ICS) are increasingly integrating cyber-physical
components to automate industrial processes. Such integration requires a rigorous …
components to automate industrial processes. Such integration requires a rigorous …
Formal Verification of Safety and Security Properties in Industry 4.0 Applications
AM Hosseini, T Sauter… - 2023 IEEE 28th …, 2023 - ieeexplore.ieee.org
With the advent of Industry 4.0 (I4. 0) systems, ensuring the safety and security of these
systems' design has become a paramount concern for stakeholders. One concern is the …
systems' design has become a paramount concern for stakeholders. One concern is the …
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
Abstract Cyber-Physical Systems are exposed to cyber-physical attacks, ie, security
breaches in cyberspace that alter the underlying physical processes. We use Uppaal SMC …
breaches in cyberspace that alter the underlying physical processes. We use Uppaal SMC …