【摘 要】
：
提出一种基于语义的Android敏感行为静态分析方法。该方法首先基于样本统计结果,利用精简Dalvik指令集作为本文分析的中间语言,实现对指令层的形式化语义描述;之后,基于中间
【机 构】
：
北京邮电大学信息安全中心,国家计算机网络应急技术处理协调中心
【基金项目】
：
国家自然科学基金（61302087）,国家科技支撑计划（2012BAH06B02）,教育部博士点基金（20120005110017）
论文部分内容阅读
提出一种基于语义的Android敏感行为静态分析方法。该方法首先基于样本统计结果,利用精简Dalvik指令集作为本文分析的中间语言,实现对指令层的形式化语义描述;之后,基于中间语言发现检测样本中的敏感调用,并通过控制依赖关系追溯调用路径;最后,在控制流分析基础上,对存在敏感调用的路径约束求解路径条件。最终求解出具体后台行为及触发条件,揭示出样本后台行为的执行全过程。该方法缓解了符号执行中的路径爆炸问题,实验验证了该方法可以有效地对移动应用后台行为进行分析,并及时获取特征检测无法发现的未知移动恶意应用程序。
其他文献
全域旅游作为一种新的旅游发展理念和模式,已经引起全国范围内的广泛关注。然而,当前文献缺乏对基于利益相关者考量的全域旅游有效性评价指标体系的研究。基于利益相关者理论
11月12日,2018年全国学生服质量监测情况分析会在福建泉州召开。来自全国30多个地区的市场监督管理局、质量技术监督局、纤检机构以及质量监督检验中心的相关人员参加了此次
针对基于遗传算法（GA）的部分传输序列（PTS）方法在降低正交频分复用（OFDM）系统峰均比（PAPR）时存在避免早熟收敛和降低算法复杂度两项指标不能兼顾的问题,提出分段替换的降低OFDM峰均比
主要通过对物联网、通信和传感技术的合理运用。对冀东日光温室种植过程中关键的要素进行分析，为后期管理人员提供当地农作物的实际生长环境，确保科学合理的制度控制措施以及病
本文研究了不同壁面通透率对平面附壁射流动态特性的影响。实验结果表明孔壁减弱、甚至消除了流场中的低频摆动现象。随着孔壁通透率的增加，射流时均附壁点向下游逐渐移动，射流
针对无线体域网中的数据隐私问题,提出了一种适用于无线体域网的安全k NN查询协议,能够保护数据隐私与访问权限控制。该协议主要分3个部分,首先采用非对称矩阵向量积保值加密
摘要：目前BDO的合成仍然以乙炔和甲醛为原料的炔醛法为主，但由工业电石产生的乙炔，均含有硫、磷、砷的氢化物，这些杂质必须从乙炔中除去，乙炔净化在BDO生产上一般采用高浓度硫酸净化法。但该法工艺复杂，废液废硫酸废碱液等不易处理、审批手续复杂等诸多不利。基于此，本文通过对BDO生产中乙炔气净化的现状进行分析，以及对环境和技术方面遇到的问题进行讨论，促进高纯度乙炔气净化方式的提出。 关键词：BDO；乙
摘要：最近几年，我国建筑工程业得到进步和发展，建筑工程项目在施工建造中不仅需要提高施工技术水平，同时还要加強工程项目的施工管理，使其项目建设的经济效益和社会效益同步提高。建筑工程项目在施工建造和现场管理中需要保证各项建筑资源的充分利用，控制项目成本，提高项目建设利润，本篇文章在此基础上，主要对建筑工程项目管理中成本控制的方法和要点进行研究与分析。 关键词：建筑工程；工程管理；成本控制 随着当前