english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería
  3. Instituto de Computación
  4. Reportes Técnicos
Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12008/3562 How to cite
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMazeikis, Gustavoes
dc.contributor.authorBetarte, Gustavoes
dc.contributor.authorLuna, Carloses
dc.date.accessioned2014-12-02T16:08:11Z-
dc.date.available2014-12-02T16:08:11Z-
dc.date.issued2008es
dc.date.submitted20141202es
dc.identifier.citationMAZEIKIS, 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.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3562-
dc.description.abstractEn 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.extent17 p.es
dc.format.mimetypeapplication/pdfes
dc.languageeses
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 08-08es
dc.rightsLas 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.subjectJava Micro Editiones
dc.subjectInteractive Mobile Deviceses
dc.subjectModelo de Seguridades
dc.subjectEspecificaciones Formaleses
dc.subjectMIDPes
dc.subjectCoqes
dc.titleHacia una especificación formal del modelo de seguridad de MIDP 3.0es
dc.typeReporte técnicoes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Appears in Collections:Reportes Técnicos - Instituto de Computación

Files in This Item:
File Description SizeFormat  
TR0808.pdf196,32 kBAdobe PDFView/Open
Show simple item record


This item is licensed under a Creative Commons License Creative Commons