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

ISCAS OpenIR > 信息安全国家重点实验室

	带敏感标签的SELinux安全策略信息流分析方法
其他题名	a information-flow-based verification solution with security sensitivity to check security policy of selinux
	张阳
	2009
发表期刊	计算机学报
ISSN	0254-4164
卷号	32 期号:4 页码:709-720
摘要	针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证.
收录类别	其他
关键词	安全操作系统
部门归属	中国科学院软件研究所信息安全国家重点实验室,北京,100190
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/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.