带敏感标签的SELinux安全策略信息流分析方法

作者：张阳

来源：计算机学报, 2009, (04): 709-720.

• 安全操作系统
• SELinux
• 安全策略
• 信息流
• 有限状态自动机 secure operating system
• secure policy
• information flow
• finite state machine

针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证.

• 出版日期2009
• 单位中国科学院软件研究所信息安全国家重点实验室