基于强制访问控制的安全Linux系统设计与实现

摘要

论文首先研究强制访问控制模型,分析了基于信息保密性的Bell-Lapadula模型与基于信息完整性的Biba模型.在此基础上提出了安全增强型Linux系统的体系结构,详细描述了安全系统的各功能组件及关键技术.安全系统对Linux系统资源实施强制访问控制,保护资源的机密性、完整性,系统具有入侵追踪功能,能够很好地抵御本地与网络入侵.