基于语义的Android敏感行为静态分析方法

• 作者: 付戈 刘洋 张淼 李承泽 杨义先 董航
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: Android 行为分析 约束求解 形式化描述
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 434-440
• 页数: 7页
• 分类号: TP309.5
• 字数: 4818字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2017.02.019

摘要

提出一种基于语义的Android敏感行为静态分析方法.该方法首先基于样本统计结果,利用精简Dalvik指令集作为本文分析的中间语言,实现对指令层的形式化语义描述;之后,基于中间语言发现检测样本中的敏感调用,并通过控制依赖关系追溯调用路径;最后,在控制流分析基础上,对存在敏感调用的路径约束求解路径条件.最终求解出具体后台行为及触发条件,揭示出样本后台行为的执行全过程.该方法缓解了符号执行中的路径爆炸问题,实验验证了该方法可以有效地对移动应用后台行为进行分析,并及时获取特征检测无法发现的未知移动恶意应用程序.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨义先	北京邮电大学信息安全中心	629	8372	39.0	65.0
2	刘洋		6	17	1.0	4.0
3	张淼	北京邮电大学信息安全中心	9	50	5.0	7.0
4	董航	北京邮电大学信息安全中心	3	76	2.0	3.0
5	李承泽	北京邮电大学信息安全中心	3	7	1.0	2.0
6	付戈		4	7	2.0	2.0