基于能力依赖图的SEAndroid安全策略分析

• 作者: 张阳 曹佳欣 程亮
• 来源期刊: 计算机系统应用
• 关键词: SEAndroid 访问控制 安全策略 能力依赖图
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 系统建设
• 页码范围: 112-120
• 页数: 9页
• 字数: 7962字
• 语种: 中文
• DOI: 10.15888/j.cnki.csa.006596

摘要

SEAndroid作为Android系统安全机制的重要组成部分,直接关系到系统的安全性.在本文中,我们提出一种基于能力依赖图的SEAndroid安全策略分析方法.能力依赖图描述了实际Android系统中用户的能力迁移以及其SEAndroid子系统的访问控制配置.我们首先对SEAndroid的具体实现进行分析,收集安全策略和系统信息,并进行逻辑建模.然后,我们依据SEAndroid的策略判定模式设计逻辑推导规则,并以此利用逻辑编程的方式生成能力依赖图.基于能力依赖图,我们提取出可能的攻击路径和攻击模式.我们对多个AOSP发布的不同Android版本的SEAndroid访问控制系统子进行了评估与分析.我们发现随着Android版本的提升,其SEAndroid安全策略也进行了更新,新的SEAndroid对系统提供了更强的约束和保护.此外,我们在实验中发现了一种被黑客在实际攻击中使用到的攻击模式,从而验证我们方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程亮	中国科学院软件研究所可信计算与信息保障实验室	18	152	6.0	12.0
2	张阳	中国科学院软件研究所可信计算与信息保障实验室	53	239	9.0	14.0
3	曹佳欣		1	0	0.0	0.0