ARM-Android平台的访问控制机制研究进展

• 作者: 任璐 尹青 常瑞 蒋航
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: ARM-Android 访问控制 模型改进
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 综述·探索
• 页码范围: 1545-1556
• 页数: 12页
• 分类号: TP309.1
• 字数: 7992字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1702049

摘要

随着人们对移动设备的依赖,移动设备的安全性问题日益凸显.Android设备是应用广泛的开源性移动平台,其访问控制机制作为系统安全的核心,更是备受关注.针对ARM-Android系统的硬件隔离、系统沙箱和权限保护机制,根据具体策略进行分类对比,综合分析了不同系统层次的模型改进方案,并总结了多层次综合策略访问控制的研究现状.进一步结合ARM TrustZone隔离环境,提出了一种系统访问控制的安全模型及关键实现技术,通过系统分析得到机制规范,并利用形式化方法进行了模型抽象和证明.最后根据安全机制的漏洞分析和形式化建模工作,梳理了相关研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任璐		3	2	1.0	1.0
2	尹青		4	14	2.0	3.0
3	常瑞		10	15	2.0	3.0
4	蒋航		3	2	1.0	1.0