Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3559
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Crespo, Juan Manuel | es |
dc.contributor.author | Betarte, Gustavo | es |
dc.contributor.author | Luna, Carlos | es |
dc.date.accessioned | 2014-12-02T16:08:08Z | - |
dc.date.available | 2014-12-02T16:08:08Z | - |
dc.date.issued | 2008 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | CRESPO, J., BETARTE, G., LUNA, C. "A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices". Reportes Técnicos 08-07. UR. FI – INCO, 2008. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3559 | - |
dc.description.abstract | The Java Micro Edition platform (JME), a Java enabled technology, provides the Mobile Information Device Profile (MIDP) standard that facilitates applications development and specifies a security model for the controlled access to sensitive resources of the device. The model builds upon the notion of protection domain, which in turn can be grasped as a set of permissions. An alternative model has been proposed that extends MIDP's by introducing permissions with multiplicities and adding flexibility to the way in which permissions are granted by the user of the device and used by the applications running on it. This paper presents a framework, formalized using the proof-assistant Coq, suitable for defining and comparing the access control policies that can be enforced by (variants of) those security models and to prove desirable properties they should satisfy. The proofs of some of those properties are also stated and discussed in this work. | es |
dc.format.extent | 17 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 08-07 | es |
dc.rights | Las 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.subject | Java Micro Edition | es |
dc.subject | Interactive Mobile Devices | es |
dc.subject | Mobile Information Device Profile | es |
dc.title | A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia 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 | ||
---|---|---|---|---|---|
TR0807.pdf | 228,15 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons