Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3538
Cómo citar
Título: | A formal specification of the MIDP 2.0 security model |
Autor: | Zanella Béguelin, Santiago Betarte, Gustavo Luna, Carlos |
Tipo: | Reporte técnico |
Palabras clave: | Calculus of Inductive Constructions, Formal specification, MIDP 2.0, Security, Coq |
Fecha de publicación: | 2006 |
Resumen: | This 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. |
Editorial: | UR. FI – INCO. |
Serie o colección: | Reportes Técnicos 06-09 |
Citación: | ZANELLA 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. |
ISSN: | 0797-6410 |
Licencia: | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR0609.pdf | 183,66 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons