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

作     者：任桂超 丁丽萍 贺也平 Ren Guichao;Ding Liping;He Yeping

作者机构：中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100190 

基　　金：国家自然科学基金项目(61170072) 国家科技重大专项(2010ZX01036-001-002 2010ZX01037-001-002) 中国科学院知识创新工程项目(KGCX2-YW-125 KGCX2-YW-174) 

出 版 物：《计算机应用与软件》 (Computer Applications and Software)

年 卷 期：2014年第31卷第5期

页      码：285-290,315页

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

主 题 词：Android安全 权限模型 空间访问控制 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-386x.2014.05.073

馆 藏 号：203633614...