Análisis formal del sistema de permisos de android

Abstract

Actualmente alrededor de 1700 millones de personas en el mundo eligen dispositivos móviles con Android como sistema operativo. Este liderazgo significativo del mercado lo sitúa como un interesante blanco de ataque para quienes crean aplicaciones maliciosas y además cualquier error que viole la información sensible de los usuarios impacta sobre un gran número de víctimas. Como consecuencia, es de interés analizar su modelo de seguridad y buscar formas de fortalecerlo. Si bien existen diversos estudios sobre el tema, el cambio constante y el surgimiento de nuevos problemas permiten la existencia de líneas muy diversas de investigación que apunten al mismo objetivo. Este trabajo propone un análisis formal completo del modelo de seguridad utilizado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área.