Lintent：走向安卓应用程序的安全类型检查

摘要

Android设备的广泛采用吸引了越来越多的计算机安全受众的注意。Android架构的基本弱点和微妙的设计缺陷已经被发现、研究并修复，主要是通过数据流分析、运行时保护机制或操作系统更改等技术。本文通过开发一个基于键入技术的Android应用程序分析框架来补充这项研究。我们在Android组件间通信API上引入了一种形式化的推理演算，并引入了一个类型和效果系统，以静态地防止对类型良好的组件的权限提升攻击。基于我们的抽象框架，我们开发了一个原型实现林腾特，安卓应用程序的安全类型检查器，与安卓开发工具套件集成。最后，我们讨论了使用我们的工具的初步经验，其中重点介绍了对现有应用程序的实际攻击。

关键词

这些关键字是由机器添加的，而不是由作者添加的。这个过程是实验性的，随着学习算法的改进，关键字可能会更新。