---

Download: PDF.

“A Logical Specification and Analysis for SELinux MLS Policy” by Boniface Hicks, Sandra Rueda, Luke St. Clair, Trent Jaeger, and Patrick McDaniel. In Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, June 2007, pp. 91-100.

Download: PDF.

BibTeX entry:

@inproceedings{sacmat07,
   author = {Boniface Hicks and Sandra Rueda and Luke St. Clair and Trent
	Jaeger and Patrick McDaniel},
   title = {A Logical Specification and Analysis for {SELinux MLS} Policy},
   booktitle = {Proceedings of the 12th ACM Symposium on Access Control
	Models and Technologies},
   pages = {91--100},
   month = jun,
   year = {2007}
}

---

(This webpage was created with bibtex2web.)

Back to Trent Jaeger's Publications.