A logical specification and analysis for SELinux MLS policy

Boniface Hicks, Sandra Rueda, Luke St.Clair, Trent Jaeger, Patrick Mcdaniel

Research output: Contribution to journalArticlepeer-review

47 Scopus citations

Fingerprint

Dive into the research topics of 'A logical specification and analysis for SELinux MLS policy'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Business & Economics