A logical specification and analysis for SELinux MLS policy

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

Research output: Contribution to journal › Article › peer-review

48 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

Economics, Econometrics and Finance