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
Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/3538 Cómo citar
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.contributor.authorZanella Béguelin, Santiagoes
dc.contributor.authorBetarte, Gustavoes
dc.contributor.authorLuna, Carloses
dc.date.accessioned2014-12-02T16:07:44Z-
dc.date.available2014-12-02T16:07:44Z-
dc.date.issued2006es
dc.date.submitted20141202es
dc.identifier.citationZANELLA BÉGUELIN, S., BETARTE, G., LUNA, C. "A formal specification of the MIDP 2.0 security model". Reportes Técnicos 06-09. UR. FI – INCO, 2006.es
dc.identifier.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3538-
dc.description.abstractThis paper overviews a formal specification, using the Calculus of Inductive Constructions, of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro Edition. We present an abstract model of the state of the device and security-related events that allows to reason about the security properties of theplatform where the model is deployed. We then state and sketch the proof of some desirable properties of this model.es
dc.format.extent10 p.es
dc.format.mimetypeapplication/pdfes
dc.languageines
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 06-09es
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.subjectCalculus of Inductive Constructionses
dc.subjectFormal specificationes
dc.subjectMIDP 2.0es
dc.subjectSecurityes
dc.subjectCoqes
dc.titleA formal specification of the MIDP 2.0 security modeles
dc.typeReporte técnicoes
dc.rights.licenceLicencia 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   
TR0609.pdf183,66 kBAdobe PDFVisualizar/Abrir
Mostrar el registro sencillo del ítem


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons