Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
Los dispositivos portátiles tales como teléfonos celulares y asistentes personales de datos, permiten almacenar información confidencial y establecer comunicaciones con entidades externas. Generalmente, los usuarios pueden descargar e instalar nuevas aplicaciones de fuentes no confiables, que conviv...
Guardado en:
| Autor principal: | Crespo, Juan Manuel |
|---|---|
| Otros Autores: | Luna, Carlos D. |
| Formato: | bachelorThesis tesis de grado publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional de Rosario
2013
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/2133/2330 http://hdl.handle.net/2133/2330 |
| Aporte de: |
Ejemplares similares
-
Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
por: Luna, Carlos, et al.
Publicado: (2011) -
JAvatar Móvil: un desarrollo experimental JME para redes IMS
por: Kimura, Isabel, et al.
Publicado: (2010) -
Modelos de terrenos y GIS para dispositivos móviles
por: Escudero, Maximiliano, et al.
Publicado: (2006) -
Modelado de terrenos para dispositivos móviles
por: Escudero, Maximiliano, et al.
Publicado: (2010) - Dispositivo móvil para detectar osteporosis a bajo costo