| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 带敏感标签的SELinux安全策略信息流分析方法 |
| 作者 | 张阳 |
| 作者单位 | (中国科学院软件研究所信息安全国家重点实验室 北京 100190) |
| 发表年份 | 2009 |
| 发表月份 | 4期(709—720) |
| 文章摘要 | 摘要 针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签，以自动机与线性时态逻辑为理论基础，提出了一种改进的信息流分析方法，对SELinux安全策略的完整性与机密性进行验证. 关键词 安全操作系统；SELinux；安全策略；信息流；有限状态自动机 中图法分类号: TP309 DOI号: 10.3724/SP.J.1016.2009.00709 |