Please use this identifier to cite or link to this item:
https://hdl.handle.net/20.500.12008/3562
How to cite
| Title: | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| Authors: | Mazeikis, Gustavo Betarte, Gustavo Luna, Carlos |
| Type: | Reporte técnico |
| Keywords: | Java Micro Edition, Interactive Mobile Devices, Modelo de Seguridad, Especificaciones Formales, MIDP, Coq |
| Issue Date: | 2008 |
| 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. |
| Publisher: | UR. FI – INCO. |
| Series or collection: | Reportes Técnicos 08-08 |
| ISSN: | 0797-6410 |
| 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. |
| License: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| Appears in Collections: | Reportes Técnicos - Instituto de Computación |
Files in This Item:
| File | Description | Size | Format | ||
|---|---|---|---|---|---|
| TR0808.pdf | 196,32 kB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License
