文件名称：论文研究-安卓隐私安全研究进展.pdf
文件大小：1.62MB
文件格式：PDF
更新时间：2022-08-11 15:08:59
安卓,隐私数据,访问控制,信息流分析,形式化方法
针对安卓移动操作系统平台，研究了在保护用户隐私数据方面已有的安全机制及其安全缺陷。从访问控制与信息流分析两方面出发，综合分析近年来安卓隐私安全增强工作的关键技术，对比了各类工作在高效性、正确性、灵活性和易用性等方面的优点和缺点；探讨了基于移动平台下安全模型的形式化分析与证明思想，并指出了未来可能的研究方向。