Download: PDF.

“A Logical Specification and Analysis for SELinux MLS Policy” by Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, and Patrick McDaniel. ACM Transaction on Information and System Security, vol. 13, no. 3, 2010. This paper was recommended for journal publication from the 2010 SACMAT version.

Download: PDF.

BibTeX entry:

@article{tissec10,
   author = {Boniface Hicks and Sandra Rueda and St. Clair, Luke and Trent
	Jaeger and Patrick McDaniel},
   title = {A Logical Specification and Analysis for {SELinux MLS} Policy},
   journal = {ACM Transaction on Information and System Security},
   volume = {13},
   number = {3},
   year = {2010},
   note = {This paper was recommended for journal publication from the
	2010 SACMAT version.}
}

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.