MulVAL: A logic-based network security analyzer

Xinming Ou, Sudhakar Govindavajhala, Andrew W. Appel

Research output: Contribution to conferencePaperpeer-review

433 Scopus citations

Fingerprint

Dive into the research topics of 'MulVAL: A logic-based network security analyzer '. Together they form a unique fingerprint.

Engineering & Materials Science