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

	带敏感标签的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.