A logical specification and analysis for SELinux MLS policy.

Boniface Hicks Sandra Julieta Rueda Luke St. Clair Trent Jaeger Patrick D. McDaniel

Published in: SACMAT (2007)

Keyphrases

database
data analysis
decision trees
databases
artificial intelligence
website
high level
evolutionary algorithm
statistical analysis
optimal policy
quantitative analysis