|
|||||
|
|
| ARM-Android平台的访问控制机制研究进展 | |
| 作者单位： | ;1.数学工程与先进计算国家重点实验室 |
| 摘 要： | 随着人们对移动设备的依赖,移动设备的安全性问题日益凸显。Android设备是应用广泛的开源性移动平台,其访问控制机制作为系统安全的核心,更是备受关注。针对ARM-Android系统的硬件隔离、系统沙箱和权限保护机制,根据具体策略进行分类对比,综合分析了不同系统层次的模型改进方案,并总结了多层次综合策略访问控制的研究现状。进一步结合ARM Trust Zone隔离环境,提出了一种系统访问控制的安全模型及关键实现技术,通过系统分析得到机制规范,并利用形式化方法进行了模型抽象和证明。最后根据安全机制的漏洞分析和形式化建模工作,梳理了相关研究方向。 |
| 关 键 词： | ARM-Android 访问控制 模型改进 |
Research Progress on Access Control Mechanisms for ARM-Android Platforms |
|
| Abstract: | |
| Keywords: | |