Hacia un prototipo certificado del sistema de permisos de Android 10

Vista sencilla de ítem
dc.contributor.advisorLuna, Carlos
dc.contributor.coadvisorZanarini, Dante
dc.creatorDe Luca, Guido
dc.date.accessioned2022-11-16T22:07:22Z
dc.date.available2022-11-16T22:07:22Z
dc.date.issued2022-11
dc.description.abstractAndroid 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.es
dc.description.peerreviewedPeer reviewed
dc.formatapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2133/24770
dc.language.isospaes
dc.publisherFacultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosarioes
dc.rightsopenAccesses
dc.rights.holderDe Luca, Guidoes
dc.rights.textReconocimiento -- Compartir Igual (by-sa): Se permite el uso comercial de LA OBRA y sus posibles obras derivadas, la distribución de las cuales se debe hacer con una licencia igual a la que regula LA OBRA original.es
dc.rights.urihttp://creativecommons.org/licenses/by/2.5/ar/*
dc.subjectandroides
dc.subjectmonitor de referenciaes
dc.subjectpermisos (ciencias de la computación)es
dc.subjectinformáticaes
dc.titleHacia un prototipo certificado del sistema de permisos de Android 10es
dc.typebachelorThesis
dc.typeTésis de Grado
dc.type.collectiontesis
dc.type.otherbachelorThesises

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Tesina de Licenciatura en Ciencias de la Computación. De Luca, Guido.pdf
Tamaño:
528.93 KB
Formato:
Adobe Portable Document Format
Descripción:
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.59 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

FCEIA-ECEN-DCC- Trabajos Finales de Grado (trabajos finales, proyectos y tesinas)