10.11959/j.issn.2096-109x.2021086
基于通信顺序进程的Android程序复杂信息流分析方法
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信息流.提出一种基于通信顺序进程的信息流分析方法,建立应用程序行为的形式化模型,从而全面刻画程序信息流行为.基于进程迹等价分析方法能够自动化验证信息流关联、信息流约束等复杂信息流问题,进而判断是否存在敏感信息泄露.实验表明,所提方法能够达到90.99%的准确率.
安卓;信息流分析;隐私防护;形式化分析;通信顺序进程
7
TP309(计算技术、计算机技术)
国家自然科学基金62176265,61972040
2021-12-16(万方平台首次上网日期,不代表论文的发表时间)
共13页
156-168