MulVAL: A Logic-based Network Security Analyzer

  title={MulVAL: A Logic-based Network Security Analyzer},
  author={Xinming Ou and Sudhakar Govindavajhala and Andrew W. Appel},
  booktitle={USENIX Security Symposium},
To determine the security impact software vulnerabilities have on a particular network, one must consider interactions among multiple network elements. For a vulnerability analysis tool to be useful in practice, two features are crucial. First, the model used in the analysis must be able to automatically integrate formal vulnerability spec ifications from the bug-reporting community. Second, the analysis must be able to scale to networks with thousands of machines. We show how to achieve these… CONTINUE READING
Highly Influential
This paper has highly influenced 42 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 471 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 281 extracted citations

472 Citations

Citations per Year
Semantic Scholar estimates that this publication has 472 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 35 references

Introduction to OVAL: A new language to determine the presence of software vulnerabilities

  • Matthew Wojcik, Tiffany Bergeron, Todd Wittbold, Robert Roberge
  • 03/intro…
  • 2003
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…