%0 Conference Paper %1 conf/acsac/SchwarzCWLTMW05 %A Schwarz, Benjamin %A Chen, Hao %A Wagner, David A. %A Lin, Jeremy %A Tu, Wei %A Morrison, Geoff %A West, Jacob %B ACSAC %D 2005 %I IEEE Computer Society %K dblp %P 13-22 %T Model Checking An Entire Linux Distribution for Security Violations. %U http://dblp.uni-trier.de/db/conf/acsac/acsac2005.html#SchwarzCWLTMW05 %@ 0-7695-2461-3

@inproceedings{conf/acsac/SchwarzCWLTMW05, added-at = {2017-06-14T00:00:00.000+0200}, author = {Schwarz, Benjamin and Chen, Hao and Wagner, David A. and Lin, Jeremy and Tu, Wei and Morrison, Geoff and West, Jacob}, biburl = {https://www.bibsonomy.org/bibtex/20990f4f684b9b80dfa66b14dfefffec3/dblp}, booktitle = {ACSAC}, crossref = {conf/acsac/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSAC.2005.39}, interhash = {cc003d700feb5a92856d8367e3b6bebd}, intrahash = {0990f4f684b9b80dfa66b14dfefffec3}, isbn = {0-7695-2461-3}, keywords = {dblp}, pages = {13-22}, publisher = {IEEE Computer Society}, timestamp = {2017-06-15T16:03:24.000+0200}, title = {Model Checking An Entire Linux Distribution for Security Violations.}, url = {http://dblp.uni-trier.de/db/conf/acsac/acsac2005.html#SchwarzCWLTMW05}, year = 2005 }