Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3562
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Mazeikis, Gustavo | es |
dc.contributor.author | Betarte, Gustavo | es |
dc.contributor.author | Luna, Carlos | es |
dc.date.accessioned | 2014-12-02T16:08:11Z | - |
dc.date.available | 2014-12-02T16:08:11Z | - |
dc.date.issued | 2008 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | MAZEIKIS, G., BETARTE, G., LUNA, C. "Hacia una especificación formal del modelo de seguridad de MIDP 3.0". Reportes Técnicos 08-08. UR. FI – INCO, 2008. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3562 | - |
dc.description.abstract | 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 de esta especificación, para incorporar los cambios planteados por la tercera versión de MIDP. La extensión planteada conserva las propiedades de seguridad demostradas en el modelo anterior, y permite seguir razonando sobre nuevas propiedades de seguridad. | es |
dc.format.extent | 17 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | es | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 08-08 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Java Micro Edition | es |
dc.subject | Interactive Mobile Devices | es |
dc.subject | Modelo de Seguridad | es |
dc.subject | Especificaciones Formales | es |
dc.subject | MIDP | es |
dc.subject | Coq | es |
dc.title | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR0808.pdf | 196,32 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons