论文部分内容阅读
针对安卓移动操作系统平台,研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发,综合分析近年来安卓隐私安全增强工作的关键技术,对比了各类工作在高效性、正确性、灵活性和易用性等方面的优点和缺点;探讨了基于移动平台下安全模型的形式化分析与证明思想,并指出了未来可能的研究方向。