基于有色Petri网的SELinux安全策略自动化分析

• 作者: 翟高寿 郭涛
• 来源期刊: 信息安全与技术
• 关键词: SELinux 安全策略 有色Petri网 自动化分析
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 信息安全
• 页码范围: 35-40
• 页数: 6页
• 字数: 5089字
• 语种: 中文

摘要

SELinux是嵌入到Linux内核中并得到推广应用的安全增强模块.由于其安全策略配置复杂且工作量较大,故而研究相关的安全策略辅助配置手段及SELinux安全策略的自动化分析方法与技术很有必要.本文基于有色Petri网建立了SELinux安全策略的自动化分析模型,给出了原型实现和测试结果.相关结果表明,有色Petri网分析方法和对应原型能较好地完成SELinux安全策略的有效性分析,并可实现带有中间过滤类型的信息流查询且更加方便简洁.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	翟高寿	北京交通大学计算机与信息技术学院	24	45	5.0	5.0
2	郭涛	北京交通大学计算机与信息技术学院	2	2	1.0	1.0