@inproceedings {269256,
	author = {Xinming Ou and Sudhakar Govindavajhala and Andrew W. Appel},
	title = {{MulVAL}: A Logic-based Network Security Analyzer},
	booktitle = {14th USENIX Security Symposium (USENIX Security 05)},
	year = {2005},
	address = {Baltimore, MD},
	url = {https://www.usenix.org/conference/14th-usenix-security-symposium/mulval-logic-based-network-security-analyzer},
	publisher = {USENIX Association},
	month = jul
}
