Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.

Hoy en día, la telefonía celular se ha vuelto imprescindible para el desarrollo de la vida cotidiana. Además de sus servicios básicos de comunicación, los dispositivos móviles permiten almacenar datos confidenciales y, descargar y ejecutar aplicaciones, lo que conlleva un riesgo para la integridad y...

Descripción completa

Detalles Bibliográficos
Autor principal: Prince, Cristián Germán
Otros Autores: Luna, Carlos Daniel
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2015
Materias:
MIDP
Instalación
Especificación
Celulares
Aplicaciones
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=73
http://hdl.handle.net/2133/3825
http://hdl.handle.net/2133/3825
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-3825
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 MIDP
Instalación
Especificación
Celulares
Aplicaciones
spellingShingle MIDP
Instalación
Especificación
Celulares
Aplicaciones
Prince, Cristián Germán
Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
topic_facet MIDP
Instalación
Especificación
Celulares
Aplicaciones
description Hoy en día, la telefonía celular se ha vuelto imprescindible para el desarrollo de la vida cotidiana. Además de sus servicios básicos de comunicación, los dispositivos móviles permiten almacenar datos confidenciales y, descargar y ejecutar aplicaciones, lo que conlleva un riesgo para la integridad y privacidad de la información que uno tiene. Es por ello que la seguridad pasa a tener un rol fundamental en el desarrollo y en el éxito de las tecnologías móviles. En la plataforma Java Micro Edition, el ambiente de ejecución estándar para teléfonos celulares está provisto por el Perfil para Dispositivos de Información Móviles (MIDP, por sus siglas en Inglés). Para la versión 2.0 de MIDP, Zanella, Luna y Betarte, propusieron la primera especificación formal de su modelo de seguridad. Se construyó un modelo abstracto en el Cálculo de Construcciones Inductivas (CIC) del estado de un dispositivo y de los posibles eventos que  inducen cambios en dicho estado. Además, se han demostrado propiedades deseables para cualquier implementación del estándar, lo que lo convierte en una poderosa herramienta para razonar sobre el modelo de seguridad y facilitar su comprensión. Una primera extensión de este modelo fue realizada por Gustavo Mazeikis, quien realizó la formalización del Modelo de Autorización para MIDP 3.0 (la más reciente versión del perfil) y demostró la preservación de las propiedades de seguridad consideradas para MIDP 2.0. En este trabajo se presenta una nueva extensión de la especificación formal referida. Este proyecto conserva las propiedades de seguridad demostradas por Mazeikis e incorpora el manejo y almacenamiento de vendedores y certificados en el dispositivo que son utilizados al momento de la instalación, como así también cambios sustanciales sobre la definición de este evento crítico. El aporte principal de este trabajo es la verificación sobre el vendedor de una aplicación y su certificado asociado, abarcando el caso en que éste no posea uno. De esta manera, un usuario puede instalar aplicaciones de vendedores cuyos certificados autentican que son confiables o aplicaciones de vendedores que no poseen dicha certificación, como podría ser el caso de un programador que desarrolla una aplicación para uso propio o compartido. En el marco del formalismo extendido, se propone un algoritmo para realizar la instalación de una aplicación y se demuestra su corrección.
author2 Luna, Carlos Daniel
author_facet Luna, Carlos Daniel
Prince, Cristián Germán
format bachelorThesis
tesis de grado
publishedVersion
author Prince, Cristián Germán
author_sort Prince, Cristián Germán
title Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
title_short Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
title_full Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
title_fullStr Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
title_full_unstemmed Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
title_sort análisis formal de la instalación de aplicaciones en midp 3.0.
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2015
url http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=73
http://hdl.handle.net/2133/3825
http://hdl.handle.net/2133/3825
work_keys_str_mv AT princecristiangerman analisisformaldelainstalaciondeaplicacionesenmidp30
bdutipo_str Repositorios
_version_ 1764820412350332929

Ejemplares similares