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

摘要：

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

关键词：安全操作系统、SELinux、安全策略、信息流、有限状态自动机

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2007AA01Z465,2006AA01Z433,2007AA01Z414

在线出版日期：2009-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：709-720