MulVAL: A Logic-based Network Security Analyzer

TitleMulVAL: A Logic-based Network Security Analyzer
Publication TypeConference Paper
Year of Publication2005
AuthorsOu X, Govindavajhala S, Appel AW
Conference Name14th USENIX Security Symposium (USENIX Security 05)
Date Published07/2005
PublisherUSENIX Association
Conference LocationBaltimore, MD
URLhttps://www.usenix.org/conference/14th-usenix-security-symposium/mulval-logic-based-network-security-analyzer