带敏感标签的SELinux安全策略信息流分析方法 | |
张阳 | |
刊名 | 计算机学报
![]() |
2009 | |
卷号 | 32期号:4页码:709-720 |
关键词 | 安全操作系统 |
ISSN号 | 0254-4164 |
其他题名 | a information-flow-based verification solution with security sensitivity to check security policy of selinux |
中文摘要 | 针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证. |
收录类别 | 其他 |
语种 | 中文 |
公开日期 | 2011-03-18 |
内容类型 | 期刊论文 |
源URL | [http://124.16.136.157/handle/311060/7866] ![]() |
专题 | 软件研究所_信息安全国家重点实验室_期刊论文 |
推荐引用方式 GB/T 7714 | 张阳. 带敏感标签的SELinux安全策略信息流分析方法[J]. 计算机学报,2009,32(4):709-720. |
APA | 张阳.(2009).带敏感标签的SELinux安全策略信息流分析方法.计算机学报,32(4),709-720. |
MLA | 张阳."带敏感标签的SELinux安全策略信息流分析方法".计算机学报 32.4(2009):709-720. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论