SELinux中策略有效性的形式化模型研究

• 作者: 杨路明 邵济平
• 来源期刊: 电脑与信息技术
• 学科: 工学
• 关键词: SELinux 策略 形式化
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 算法研究
• 页码范围: 66-70
• 页数: 5页
• 分类号: TP316
• 字数: 4460字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-1228.2006.02.019

摘要

文章提出了一个形式化模型AMACP(Analyzing Model of SELinux'Accegs Control Pplicy),用它来分析SELinux中的策略配置文件的有效性,SELinux中的策略数目是巨大而又复杂的.SELinux系统实现的几个子模型是由配置文件中的规则构成,但却很难全面把握这些规则对系统本身的影响.文章的目的就是根据SELinux中策略配置构建语义并且模型化这些规则之间的关系.在此基础上提出一种算法,用来验证某个主体是否可以利用某种给定的存取模式来访问某个给定的客体对象.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路明	中南大学信息科学与工程学院	181	1754	20.0	35.0
2	邵济平	中南大学信息科学与工程学院	2	11	2.0	2.0