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

摘要：

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

关键词：ARM-Android、访问控制、模型改进

所属期刊栏目：11

分类号：TP309.1(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No. 61572516

在线出版日期：2017-10-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：1545-1556