Describir: Análisis formal del sistema de permisos de android