Exact Inference Techniques for the Dynamic Analysis of Attack Graphs.
Luis Muñoz-GonzálezDaniele SgandurraMartín BarrèreEmil C. LupuPublished in: CoRR (2015)
Keyphrases
- dynamic analysis
- exact inference
- attack graphs
- attack graph
- graphical models
- static analysis
- approximate inference
- reverse engineering
- bayesian networks
- probabilistic inference
- belief networks
- belief propagation
- structured prediction
- latent variables
- dynamic bayesian networks
- approximation algorithms
- model checking
- conditional random fields
- alert correlation
- random variables
- source code
- state space
- variational methods
- message passing
- network configuration
- attack scenarios
- software engineering
- data mining
- special case
- knowledge discovery
- object oriented
- markov networks
- open source