Login / Signup
A logical specification and analysis for SELinux MLS policy.
Boniface Hicks
Sandra Julieta Rueda
Luke St. Clair
Trent Jaeger
Patrick D. McDaniel
Published in:
ACM Trans. Inf. Syst. Secur. (2010)
Keyphrases
</>
neural network
image analysis
statistical analysis
artificial intelligence
high level
multiscale
natural language
distributed databases