基于Pi演算的Android App权限提升攻击检测

• 作者: 王涛 马川
• 来源期刊: 计算机应用研究
• 关键词: Android App 权限提升 静态分析 进程代数 安全策略
• 年，卷（期）: 2020,（12）
• 所属期刊栏目: 信息安全技术
• 页码范围: 3699-3703
• 页数: 5页
• 分类号: TP309
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2019.08.0562

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛		50	146	7.0	8.0
2	马川		12	42	5.0	6.0