%0 Conference Paper %1 conf/uss/OuGA05 %A Ou, Xinming %A Govindavajhala, Sudhakar %A Appel, Andrew W. %B USENIX Security Symposium %D 2005 %E McDaniel, Patrick D. %I USENIX Association %K dblp %T MulVAL: A Logic-based Network Security Analyzer. %U http://dblp.uni-trier.de/db/conf/uss/uss2005.html#OuGA05

@inproceedings{conf/uss/OuGA05, added-at = {2016-08-19T00:00:00.000+0200}, author = {Ou, Xinming and Govindavajhala, Sudhakar and Appel, Andrew W.}, biburl = {https://www.bibsonomy.org/bibtex/2f03ff2b203753dead3a7a0266ccd8574/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2005}, editor = {McDaniel, Patrick D.}, ee = {https://www.usenix.org/conference/14th-usenix-security-symposium/mulval-logic-based-network-security-analyzer}, interhash = {7d81e7d5d87639414dfe7ad6dc48f1fc}, intrahash = {f03ff2b203753dead3a7a0266ccd8574}, keywords = {dblp}, publisher = {USENIX Association}, timestamp = {2016-11-19T11:37:23.000+0100}, title = {MulVAL: A Logic-based Network Security Analyzer.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2005.html#OuGA05}, year = 2005 }