Descripción y Análisis Formal del Modelo de Seguridad de Android

En los últimos años se ha observado un marcado incremento en el número de dispositivos móviles que tienen a Android como sistema operativo, por lo que una falla en la seguridad de dicha plataforma afectaría una gran cantidad de usuarios. Este elevado número de víctimas potenciales alienta a los crea...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Romano, Agustín Vicente
Otros Autores: Luna, Carlos D.
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2014
Materias:
Android
verificación formal
seguridad
Coq
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523/
http://hdl.handle.net/2133/3554
http://hdl.handle.net/2133/3554
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares