×

林森特

swMATH标识: 21576
软件作者: Bugliesi,M.,Calzavara,S.,Spanò,A。
说明: linent:面向android应用程序的安全类型检查。Android设备的广泛采用吸引了越来越多的计算机安全用户的注意。Android架构的基本弱点和细微的设计缺陷已经被发现、研究和修复,主要是通过数据流分析、运行时保护机制或操作系统更改等技术。本文通过开发一个基于类型技术的Android应用程序分析框架来补充这项研究。我们在Android组件间通信API上引入了一个形式化的推理演算,以及一个类型和效果系统来静态地防止对类型良好的组件的权限升级攻击。利用我们的抽象框架,我们开发了linent的原型实现,linent是一个与Android开发工具套件集成的Android应用程序的安全类型检查器。最后,我们讨论了使用我们的工具的初步经验,其中突出了对现有应用程序的实际攻击。
主页: https://rd.springer.com/chapter/10.1007/978-3-642-38592-6_20
相关软件: 绉纱;可口可乐
参考文献: 1个出版物

标准条款

1个出版物描述软件
linent:面向android应用程序的安全类型检查
布列西,米歇尔;卡尔扎瓦拉,斯特凡诺;斯潘,阿尔维斯
2013

在0序列中引用

在1个字段中引用

1 计算机科学(68-XX)

按年份引用出版物