Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study.
Ruggero LanotteMassimo MerroNicola ZannonePublished in: FORTE (2023)
Keyphrases
- model checking
- cyber physical
- impact analysis
- temporal logic
- social networks
- dependency analysis
- formal specification
- model checker
- formal verification
- source code
- verification method
- formal methods
- situation awareness
- software development
- computation tree logic
- physical world
- case study
- physical space
- multi agent
- cyber physical systems
- life cycle
- data analysis
- real world
- data sources
- signaling pathways
- low cost
- decision making