Hacia un prototipo certificado del sistema de permisos de Android 10

Android es un sistema operativo para dispositivos celulares que actualmente, acapara más del 85% del mercado. Permite a sus usuarios realizar múltiples tareas a través del uso de apps. Sin embargo, el fácil uso de las mismas y de la plataforma en general, se ve contrarrestado por una escalada en los...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: De Luca, Guido
Otros Autores: Luna, Carlos
Formato: bachelorThesis Tésis de Grado
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2022
Materias:
android
monitor de referencia
permisos (ciencias de la computación)
informática
Acceso en línea:http://hdl.handle.net/2133/24770
http://hdl.handle.net/2133/24770
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-24770
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
topic android
monitor de referencia
permisos (ciencias de la computación)
informática
spellingShingle android
monitor de referencia
permisos (ciencias de la computación)
informática
De Luca, Guido
Hacia un prototipo certificado del sistema de permisos de Android 10
topic_facet android
monitor de referencia
permisos (ciencias de la computación)
informática
description Android es un sistema operativo para dispositivos celulares que actualmente, acapara más del 85% del mercado. Permite a sus usuarios realizar múltiples tareas a través del uso de apps. Sin embargo, el fácil uso de las mismas y de la plataforma en general, se ve contrarrestado por una escalada en los riesgos en cuanto a confidencialidad de los datos y a la falta de garantías a la hora de proteger información delicada. Por este motivo, el sistema encargado de arbitrar los accesos a la información del usuario se convierte en un objetivo principal para la verificación de software usando métodos formales. En este trabajo, extendemos una formalización existente del sistema de permisos de Android 6, incorporando nuevas funcionalidades y demostrando nuevas propiedades para las versiones 7, 8, 9 y 10 de la plataforma. El resultado es un framework sobre el cual es posible razonar, de manera formal, sobre propiedades de safety y security de Android 10.
author2 Luna, Carlos
author_facet Luna, Carlos
De Luca, Guido
format bachelorThesis
Tésis de Grado
author De Luca, Guido
author_sort De Luca, Guido
title Hacia un prototipo certificado del sistema de permisos de Android 10
title_short Hacia un prototipo certificado del sistema de permisos de Android 10
title_full Hacia un prototipo certificado del sistema de permisos de Android 10
title_fullStr Hacia un prototipo certificado del sistema de permisos de Android 10
title_full_unstemmed Hacia un prototipo certificado del sistema de permisos de Android 10
title_sort hacia un prototipo certificado del sistema de permisos de android 10
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2022
url http://hdl.handle.net/2133/24770
http://hdl.handle.net/2133/24770
work_keys_str_mv AT delucaguido haciaunprototipocertificadodelsistemadepermisosdeandroid10
bdutipo_str Repositorios
_version_ 1764820412262252546

Ejemplares similares