计算机应用研究

作者：王涛,马川,

单位：1.河北科技师范学院工商管理学院,河北秦皇岛066004；2.燕山大学信息科学与工程学院,河北秦皇岛066004；

关键词：AndroidApp,权限提升,静态分析,进程代数,安全策略,

基金：河北省社会科学基金资助项目(HB18SH012)；；

针对Android App权限提升攻击的问题，基于Pi演算构建了一个形式化的权限提升攻击检测模型。利用扩展后的Pi演算对Android App及其运行时环境进行建模，得到形式化的行为模型；通过将权限安全策略形式化的表示为包含进程表达式的IF-THEN规则，并利用Pi演算的性质进行进程演算和迁移，构建了检测模型，并给出了权限提升攻击检测的方法。理论分析和实验表明，该方法具有线性的时间和空间复杂度，并可以非常容易地将现有的权限安全策略应用在该模型中，保证了模型的精确性。相比其他方法，该方法在提高检测精确性的同时并没有牺牲检测的效率。

来源：2020年第12期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2020年第12期