Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed Automata.
René Rydhof HansenPeter Gjøl JensenKim Guldstrand LarsenAxel LegayDanny Bøgsted PoulsenPublished in: GraMSec@CSF (2017)
Keyphrases
- quantitative evaluation
- timed automata
- model checking
- ground truth
- ddos attacks
- reachability analysis
- defense mechanisms
- theorem prover
- qualitative evaluation
- ground truth data
- decision trees
- theorem proving
- quality assessment
- brain mr images
- error measure
- intrusion detection
- first order logic
- countermeasures
- probabilistic model
- advanced research projects agency
- network security
- tree structure
- image quality
- machine learning
- real time
- temporal logic
- databases