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
id I15-R121-2133-3554
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
orig_language_str_mv spa
topic Android
verificación formal
seguridad
Coq
spellingShingle Android
verificación formal
seguridad
Coq
Romano, Agustín Vicente
Descripción y Análisis Formal del Modelo de Seguridad de Android
topic_facet Android
verificación formal
seguridad
Coq
description 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 creadores de aplicaciones maliciosas a elegir a Android como objetivo de sus ataques. Es por esto que el análisis y fortalecimiento de su modelo de seguridad se ha convertido en una tarea importante que despierta el interés de numerosos investigadores. El objetivo de este trabajo es realizar un análisis exhaustivo del modelo de seguridad implementado por Android. Para ello se realiza un estado del arte en el tema, considerando los trabajos más relevantes hasta el momento, y se compara dicho modelo con el implementado en los dispositivos móviles Java (JME-MIDP). Asimismo, se presenta una especificación formal que comprende distintos aspectos sobre la seguridad en Android, poniendo atención, principalmente, en el mecanismo de delegación de permisos y en la interacción con el framework de aplicaciones para realizar llamadas al sistema. Dicha especificación está desarrollada con el asistente de pruebas Coq, que es utilizado para demostrar formalmente diferentes propiedades sobre el modelo de seguridad representado.
author2 Luna, Carlos D.
author_facet Luna, Carlos D.
Romano, Agustín Vicente
format bachelorThesis
tesis de grado
publishedVersion
author Romano, Agustín Vicente
author_sort Romano, Agustín Vicente
title Descripción y Análisis Formal del Modelo de Seguridad de Android
title_short Descripción y Análisis Formal del Modelo de Seguridad de Android
title_full Descripción y Análisis Formal del Modelo de Seguridad de Android
title_fullStr Descripción y Análisis Formal del Modelo de Seguridad de Android
title_full_unstemmed Descripción y Análisis Formal del Modelo de Seguridad de Android
title_sort descripción y análisis formal del modelo de seguridad de android
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2014
url http://www.fceia.unr.edu.ar/lcc/t523/
http://hdl.handle.net/2133/3554
http://hdl.handle.net/2133/3554
work_keys_str_mv AT romanoagustinvicente descripcionyanalisisformaldelmodelodeseguridaddeandroid
bdutipo_str Repositorios
_version_ 1764820412243378180

Ejemplares similares