Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java

En los últimos años se ha incrementado de manera significativa el uso de dispositivos móviles, tales como teléfonos celulares y smartphones. Este rápido crecimiento ha provocado que los usuarios integren el uso de aplicaciones en su rutina diaria. A su vez, este fenómeno ha generado grandes cambios...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Forte, José Armando
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
JavaME
IMC
Coq
Android
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=59
http://hdl.handle.net/2133/3811
http://hdl.handle.net/2133/3811
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-3811
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
JavaME
IMC
Coq
Android
spellingShingle MIDP
JavaME
IMC
Coq
Android
Forte, José Armando
Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
topic_facet MIDP
JavaME
IMC
Coq
Android
description En los últimos años se ha incrementado de manera significativa el uso de dispositivos móviles, tales como teléfonos celulares y smartphones. Este rápido crecimiento ha provocado que los usuarios integren el uso de aplicaciones en su rutina diaria. A su vez, este fenómeno ha generado grandes cambios a la hora de considerar la seguridad e integridad de la información que éstos manejan. En la Plataforma Java Micro Edition, el Perfil para Dispositivos de Información Móviles (MIDP) provee el ambiente de ejecución estándar para teléfonos móviles y asistentes de datos personales. La tercera y más reciente versión del perfil introduce, en particular, una nueva dimensión en el modelo de seguridad de MIDP: la seguridad a nivel de aplicación. En esta nueva versión las MIDlets que quieren compartir datos entre ellas utilizan un protocolo de comunicación denominado InterMIDlet Communication (IMC). El presente trabajo analiza formalmente el nuevo modelo de seguridad y formaliza este nuevo protocolo. Concretamente, el trabajo extiende una especificación formal desarrollada en el Cálculo de Construcciones Inductivas, usando el asistente de pruebas Coq. Se formalizan los eventos relacionados con el protocolo mencionado anteriormente, se demuestra que la extensión es conservativa y se analizan propiedades relevantes de seguridad relativas a la extensión. Finalmente, se refina la especificación junto con la extensión propuesta y se certifican en Coq dos algoritmos como implementaciones de los nuevos eventos.
author2 Luna, Carlos Daniel
author_facet Luna, Carlos Daniel
Forte, José Armando
format bachelorThesis
tesis de grado
publishedVersion
author Forte, José Armando
author_sort Forte, José Armando
title Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
title_short Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
title_full Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
title_fullStr Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
title_full_unstemmed Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
title_sort formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles java
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=59
http://hdl.handle.net/2133/3811
http://hdl.handle.net/2133/3811
work_keys_str_mv AT fortejosearmando formalizaciondelprotocolodecomunicacionentreaplicacionesparadispositivosmovilesjava
bdutipo_str Repositorios
_version_ 1764820412349284354

Ejemplares similares