Model Checking Exact Cost for Attack Scenarios.
Zaruhi AslanyanFlemming NielsonPublished in: POST (2017)
Keyphrases
- model checking
- temporal logic
- automated verification
- temporal properties
- attack scenarios
- formal specification
- finite state
- formal verification
- symbolic model checking
- model checker
- formal methods
- reachability analysis
- concurrent systems
- linear temporal logic
- verification method
- pspace complete
- computation tree logic
- transition systems
- data analysis
- timed automata
- attack detection
- asynchronous circuits
- alert correlation
- epistemic logic
- total cost
- intrusion detection system
- information systems
- specification language
- multistage
- intrusion detection
- alternating time temporal logic