Xinming Ou, Sudhakar Govindavajhala, Andrew W. Appel. MulVAL: A Logic-based Network Security Analyzer. In Patrick McDaniel, editor, Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31 - August 5, 2005. USENIX Association, 2005. [doi]
Abstract is missing.