MulVAL: A Logic-based Network Security Analyzer

777 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Handling a trillion (unfixable) flaws on a billion devices: Rethinking network security for the Internet-of-Things (2015, methodology): “To this end, we can borrow ideas from attack graph analysis in the security literature [30,36].”
Dynamic Security Risk Management Using Bayesian Attack Graphs (2012, background): “Our Bayesian attack graph models “why an attack can happen” rather than “how the attack can happen” [24].”
The role of communication systems in smart grids: Architectures, technical solutions and research challenges (2013, methodology): “Obviously there are many tools to analyze vulnerabilities in traditional telecommunications networks [335] (e.”
DAG-based attack and defense modeling: Don't miss the forest for the attack trees (2013, background): “Another one, called MulVAL [217], was actually developed for attack graphs (Section 5.”
NICE: Network Intrusion Detection and Countermeasure Selection in Virtual Network Systems (2013, methodology): “The attack graph in the MulVAL is constructed by accumulating true facts of the monitored network system.”