Título:
Autorización de Acceso en MIDP 3.0
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Mazeikis, Gustavo
Luna, Carlos
Luna, Carlos
Tutor:
Tipo de documento:
Reporte técnico
Editor:
Palabras clave:
Dispositivos Móviles Interactivos
MIDP
Especificación y Verificación Formal
Teoría de Tipos
Coq
MIDP
Especificación y Verificación Formal
Teoría de Tipos
Coq
Descriptores:
Año de publicación:
2009
Contenido:
Resumen:
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 versión del perfil, de reciente publicación, introduce una nueva dimensión en el modelo de seguridad de MIDP: la seguridad a nivel de aplicación. Para la segunda versión de MIDP, Zanella, Betarte y Luna proponen una especificación formal del modelo de seguridad en el Cálculo de Construcciones Inductivas, usando el asistente de pruebas Coq. Este artículo presenta una extensión conservativa de la especificación referida que incorpora la autorización de acceso de aplicaciones a recursos compartidos, introducida por la tercera versión de MIDP. El trabajo también propone un refinamiento de la especificación y un algoritmo funcional para el evento de autorización de acceso, cuyo comportamiento es formalmente verificado. Finalmente, se pone de manifiesto una debilidad del nuevo modelo de seguridad. Mediante un caso concreto se ilustra como una aplicación accede a un recurso compartido falsificando una credencial exigida. Para subsanar esta debilidad, se proponen tres medidas alternativas.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 09-06
Financiadores:
Citación:
MAZEIKIS, G., LUNA, C. "Autorización de Acceso en MIDP 3.0". Reportes Técnicos 09-06. UR. FI – INCO, 2009.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3431
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0906.pdf | — | 219.42 KB | Adobe PDF |