Building a trusted computing base
SELinux Implementation of a policy
General definitions
Type enforcement and file context definitions
Macros and processing, compilation