Security-enhanced Linux is a patch of the Linux kernel and a number of utilities with enhanced security functionality designed to add mandatory access controls to Linux. The main policy analysis library, which is the core library for all of the Tresys tools.
