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