带有空间上下文信息的细粒度Android安全强化机制的设计

• 作者: 丁丽萍 任桂超 贺也平
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Android安全 权限模型 空间访问控制
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 285-290,315
• 页数: 7页
• 分类号: TP309.1
• 字数: 10657字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.05.073

摘要

Android操作系统广泛应用于手机等移动设备，但并未根据移动设备的空间移动特性加入有针对性的访问控制，从而带来安全隐患。通过对现有Android权限模型的形式化分析，证明其无法针对空间位置信息进行有效的访问控制。给出一种将空间访问控制集成至Android权限模型的实现方法，并给出其有效性的形式化证明。经过实验分析发现该方法能够有效地根据空间位置信息对系统中的敏感操作做出保护，同时并不影响系统的可用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贺也平	中国科学院软件研究所基础软件国家工程研究中心	46	727	16.0	26.0
2	丁丽萍	中国科学院软件研究所基础软件国家工程研究中心	32	379	10.0	19.0
3	任桂超	中国科学院软件研究所基础软件国家工程研究中心	1	4	1.0	1.0