面向Android隐私保护机制的多域隔离模型设计

摘要：

针对Android系统粗粒度的权限机制及隐私保护机制安全性较低的问题,提出粒度可控的多域隔离隐私保护模型MDSDroid,并在Android系统上设计模型实现框架.通过定义模型变量以及访问控制策略,实现应用程序及其数据间的隔离和强安全访问控制机制.采用Z语言对模型进行形式定义,并运用形式验证工具Z/EVES进行形式分析,保证模型策略的正确执行,在增强系统安全的同时保护隐私数据的安全性.实验结果表明,该模型系统与Android原生系统相比具有较低的性能损耗.

关键词：安卓系统、隐私数据、域隔离、安全策略、形式化

所属期刊栏目：43

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

资助基金：国家重点研发计划项目“协同精密定位技术”2016YFB0501900;国家部委基金

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

页数：共7页

页码：134-140