林腾特 swMATH ID: 21576 软件作者： Bugliesi，M.、Calzavara，S.、Spanå，A。 描述： Lintent：针对android应用程序的安全类型检查。Android设备的广泛采用吸引了越来越多的计算机安全受众的注意。Android架构的基本弱点和微妙的设计缺陷已经被发现、研究并修复，主要是通过数据流分析、运行时保护机制或操作系统更改等技术。本文通过开发一个基于键入技术的Android应用程序分析框架来补充这项研究。我们在Android组件间通信API上引入了一种形式化的推理演算，并引入了一个类型和效果系统，以静态地防止对类型良好的组件的权限提升攻击。基于我们的抽象框架，我们开发了Lintent的原型实现，Lintent是与Android开发工具套件集成的Android应用程序的安全类型检查器。最后，我们讨论了使用我们的工具的初步经验，其中重点介绍了对现有应用程序的实际攻击。 主页： https://rd.springer.com/chapter/10.1007/978-3642-38592-6_20 相关软件： 绉纱;Coq公司 引用于： 1文件 标准条款 1出版物描述软件 年份 Lintent：面向安卓应用程序的安全类型检查米歇尔，布列西；卡尔扎瓦拉、斯特凡诺；阿尔维斯跨度 2013 4位作者引用 1 古斯塔沃·贝塔特 1 胡安·迭戈·坎波 1 卡洛斯·卢纳 1 阿古斯汀·罗曼诺 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文