×

林腾特

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

0连载引用

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文