MulVAL: A logic-based network security analyzer

Xinming Ou, Sudhakar Govindavajhala, Andrew W. Appel

Research output: Contribution to conferencePaperpeer-review

339 Scopus citations

Fingerprint Dive into the research topics of 'MulVAL: A logic-based network security analyzer <sup>∗</sup>'. Together they form a unique fingerprint.

Engineering & Materials Science