10.3969/j.issn.1674-9456.2013.11.011
基于有色Petri网的SELinux安全策略自动化分析
SELinux是嵌入到Linux内核中并得到推广应用的安全增强模块.由于其安全策略配置复杂且工作量较大,故而研究相关的安全策略辅助配置手段及SELinux安全策略的自动化分析方法与技术很有必要.本文基于有色Petri网建立了SELinux安全策略的自动化分析模型,给出了原型实现和测试结果.相关结果表明,有色Petri网分析方法和对应原型能较好地完成SELinux安全策略的有效性分析,并可实现带有中间过滤类型的信息流查询且更加方便简洁.
SELinux、安全策略、有色Petri网、自动化分析
4
TP3;TV6
中央高校基本科研业务费专项资金资助2009JBM019
2013-12-04(万方平台首次上网日期,不代表论文的发表时间)
共6页
35-40