Hacia una especificación formal del modelo de seguridad de MIDP 3.0
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 segur...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | report |
| Language: | Spanish |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.12008/3562 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1868889924755783680 |
|---|---|
| author | Mazeikis, Gustavo |
| author2 | Betarte, Gustavo Luna, Carlos |
| author2_role | author author |
| author_browse | Betarte, Gustavo Luna, Carlos Mazeikis, Gustavo |
| author_facet | Mazeikis, Gustavo Betarte, Gustavo Luna, Carlos |
| author_role | author |
| collection | COLIBRI |
| dc.creator.none.fl_str_mv | Mazeikis, Gustavo Betarte, Gustavo Luna, Carlos |
| dc.date.none.fl_str_mv | 2008 2014-12-02T16:08:11Z 2014-12-02T16:08:11Z 20141202 |
| dc.format.none.fl_str_mv | 17 p. application/pdf |
| dc.identifier.none.fl_str_mv | 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. 0797-6410 http://hdl.handle.net/20.500.12008/3562 |
| dc.language.none.fl_str_mv | es spa |
| dc.publisher.none.fl_str_mv | UR. FI – INCO. |
| dc.relation.none.fl_str_mv | Reportes Técnicos 08-08 |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
| dc.subject.none.fl_str_mv | Java Micro Edition Interactive Mobile Devices Modelo de Seguridad Especificaciones Formales MIDP Coq |
| dc.title.none.fl_str_mv | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| dc.type.none.fl_str_mv | Reporte técnico info:eu-repo/semantics/report info:eu-repo/semantics/publishedVersion |
| description | 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. |
| eu_rights_str_mv | openAccess |
| format | report |
| id | anni_01d8982af66032b8e5a943aa4277db47 |
| identifier_str_mv | 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. 0797-6410 |
| instacron_str | Universidad de la República |
| institution | Universidad de la República |
| instname_str | Universidad de la República |
| language | spa |
| language_invalid_str_mv | es |
| network_acronym_str | anni |
| network_name_str | oai-lr-anni |
| oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/3562 |
| publishDate | 2008 |
| publishDateSort | 2008 |
| publisher.none.fl_str_mv | UR. FI – INCO. |
| reponame_str | COLIBRI |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
| spelling | Hacia una especificación formal del modelo de seguridad de MIDP 3.0Mazeikis, GustavoBetarte, GustavoLuna, CarlosJava Micro EditionInteractive Mobile DevicesModelo de SeguridadEspecificaciones FormalesMIDPCoqEn 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.UR. FI – INCO.2014-12-02T16:08:11Z2014-12-02T16:08:11Z200820141202Reporte técnicoinfo:eu-repo/semantics/reportinfo:eu-repo/semantics/publishedVersion17 p.application/pdfMAZEIKIS, 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.0797-6410http://hdl.handle.net/20.500.12008/3562reponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaesspaReportes Técnicos 08-08Las 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)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)oai:colibri.udelar.edu.uy:20.500.12008/35622026-04-14T10:16:17Z |
| spellingShingle | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 Mazeikis, Gustavo Java Micro Edition Interactive Mobile Devices Modelo de Seguridad Especificaciones Formales MIDP Coq |
| status_str | publishedVersion |
| title | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| title_full | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| title_fullStr | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| title_full_unstemmed | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| title_short | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| title_sort | Hacia una especificación formal del modelo de seguridad de MIDP 3.0 |
| topic | Java Micro Edition Interactive Mobile Devices Modelo de Seguridad Especificaciones Formales MIDP Coq |
| url | http://hdl.handle.net/20.500.12008/3562 |