%0 Conference Paper %1 conf/sacmat/HicksRCJM07 %A Hicks, Boniface %A Rueda, Sandra Julieta %A Clair, Luke St. %A Jaeger, Trent %A McDaniel, Patrick D. %B SACMAT %D 2007 %E Lotz, Volkmar %E Thuraisingham, Bhavani M. %I ACM %K dblp %P 91-100 %T A logical specification and analysis for SELinux MLS policy. %U http://dblp.uni-trier.de/db/conf/sacmat/sacmat2007.html#HicksRCJM07 %@ 978-1-59593-745-2

@inproceedings{conf/sacmat/HicksRCJM07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Hicks, Boniface and Rueda, Sandra Julieta and Clair, Luke St. and Jaeger, Trent and McDaniel, Patrick D.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/202ea790b312d4d500ed6c3411b0445ee/dblp}, booktitle = {SACMAT}, crossref = {conf/sacmat/2007}, editor = {Lotz, Volkmar and Thuraisingham, Bhavani M.}, ee = {https://doi.org/10.1145/1266840.1266854}, interhash = {64d04bde9134ae5d8754ea8ae7deebca}, intrahash = {02ea790b312d4d500ed6c3411b0445ee}, isbn = {978-1-59593-745-2}, keywords = {dblp}, pages = {91-100}, publisher = {ACM}, timestamp = {2019-09-27T15:27:53.000+0200}, title = {A logical specification and analysis for SELinux MLS policy.}, url = {http://dblp.uni-trier.de/db/conf/sacmat/sacmat2007.html#HicksRCJM07}, year = 2007 }