网络与信息安全学报2021，Vol.7Issue(5)：156-168,13.DOI:10.11959/j.issn.2096-109x.2021086
基于通信顺序进程的Android程序复杂信息流分析方法
Android complex information flow analysis method based on communicating sequential process
摘要
关键词
安卓/信息流分析/隐私防护/形式化分析/通信顺序进程分类
信息技术与安全科学引用本文复制引用
袁占慧,杨智,张红旗,金舒原,杜学绘..基于通信顺序进程的Android程序复杂信息流分析方法[J].网络与信息安全学报,2021,7(5):156-168,13.基金项目
国家自然科学基金(62176265,61972040) （62176265,61972040）
