带敏感标签的SELinux安全策略信息流分析方法
| Data(s) |
2009
|
|---|---|
| Resumo |
针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
张阳.带敏感标签的SELinux安全策略信息流分析方法,计算机学报,2009,32(4):709-720 |
| Palavras-Chave | #安全操作系统 |
| Tipo |
期刊论文 |
