摘　要:该文介绍Bell―LaPadula模型、Clark―Wilson模型和RBAC模型，在这三种安全策略模型的基础上，结合LSM访问框架体系设计了一个达到结构化保护级要求的安全操作系统方案，提供安全系统的组成和功能，使Linux操作系统达到高安全保护级别。该安全系统结合强大的访问控制机制、系统特权分离、安全审计等一系列功能和技术，体现了安全操作系统设计的安全、可靠、实用、兼容性原则。[著者文摘]……