安全Linux操作系统是在Linux操作系统的基础上增加其安全性能，以达到结构化安全功能为目标的安全操作系统，其中包括诸如强大的存取控制、多级安全监控器、特权分割等一系列增强措施。设计此系统的各个安全机制所使用的模型和规则，并讨论其实现机制。