Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos

Los dispositivos portátiles tales como teléfonos celulares y asistentes personales de datos, permiten almacenar información confidencial y establecer comunicaciones con entidades externas. Generalmente, los usuarios pueden descargar e instalar nuevas aplicaciones de fuentes no confiables, que conviv...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Crespo, Juan Manuel
Otros Autores: Luna, Carlos D.
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
Dispositivos Móviles
Control de Acceso
Modelos de Seguridad para Dispositivos Móviles
Modelo de Seguridad JME-MIDP
Modelo alternativo
Acceso en línea:http://hdl.handle.net/2133/2330
http://hdl.handle.net/2133/2330
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-2330
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 Dispositivos Móviles
Control de Acceso
Modelos de Seguridad para Dispositivos Móviles
Modelo de Seguridad JME-MIDP
Modelo alternativo
spellingShingle Dispositivos Móviles
Control de Acceso
Modelos de Seguridad para Dispositivos Móviles
Modelo de Seguridad JME-MIDP
Modelo alternativo
Crespo, Juan Manuel
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
topic_facet Dispositivos Móviles
Control de Acceso
Modelos de Seguridad para Dispositivos Móviles
Modelo de Seguridad JME-MIDP
Modelo alternativo
description Los dispositivos portátiles tales como teléfonos celulares y asistentes personales de datos, permiten almacenar información confidencial y establecer comunicaciones con entidades externas. Generalmente, los usuarios pueden descargar e instalar nuevas aplicaciones de fuentes no confiables, que conviven junto con las instaladas por el fabricante del dispositivo o proveedor de servicios de comunicación. Ante este escenario, es importante garantizar la confidencialidad e integridad de los datos almacenados, así como la disponibilidad del servicio, aún cuando una aplicación maliciosa trate de hacer uso indebido de las funciones del dispositivo. La plataforma Java Micro Edition (JME), una tecnología para desarrollo de software Java, provee el estándar Mobile Information Device Profile (MIDP) que facilita el desarrollo de aplicaciones y especifica un modelo de seguridad para el acceso controlado a recursos sensibles del dispositivo. El modelo está construido sobre la noción de dominio de protección, que puede ser concebido como un conjunto de permisos. Un modelo alternativo ha sido propuesto, que extiende los permisos presentes en MIDP, introduciendo la noción de multiplicidad, y flexibilizando la forma en la que el usuario puede conceder a las aplicaciones que son utilizadas en el dispositivo, accesos a los recursos del mismo. Esta tesina presenta un framework, formalizado utilizando el asistente de pruebas Coq, adecuado para la definición y comparación formal de políticas de control de acceso que pueden ser aplicadas por variantes de esos modelos de seguridad y para el análisis y prueba de propiedades de seguridad que éstas satisfacen. Las pruebas de algunas de estas propiedades son dadas y discutidas en el trabajo. Además, se provee una generalización que abstrae el concepto de modelo de control de accesos y se define un concepto de generalidad que permite compararlos formalmente.
author2 Luna, Carlos D.
author_facet Luna, Carlos D.
Crespo, Juan Manuel
format bachelorThesis
tesis de grado
publishedVersion
author Crespo, Juan Manuel
author_sort Crespo, Juan Manuel
title Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
title_short Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
title_full Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
title_fullStr Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
title_full_unstemmed Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
title_sort un framework para el análisis formal de modelos de control de acceso para dispositivos móviles interactivos
publisher Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional de Rosario
publishDate 2013
url http://hdl.handle.net/2133/2330
http://hdl.handle.net/2133/2330
work_keys_str_mv AT crespojuanmanuel unframeworkparaelanalisisformaldemodelosdecontroldeaccesoparadispositivosmovilesinteractivos
bdutipo_str Repositorios
_version_ 1764820411944534016

Ejemplares similares