Introduction to the technology underlying SELinux and the achievement of Common Criteria certification.