Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
Hoy en día, la telefonía celular se ha vuelto imprescindible para el desarrollo de la vida cotidiana. Además de sus servicios básicos de comunicación, los dispositivos móviles permiten almacenar datos confidenciales y, descargar y ejecutar aplicaciones, lo que conlleva un riesgo para la integridad y...
Guardado en:
| Autor principal: | Prince, Cristián Germán |
|---|---|
| Otros Autores: | Luna, Carlos Daniel |
| Formato: | bachelorThesis tesis de grado publishedVersion |
| Lenguaje: | Español |
| Publicado: |
Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
2015
|
| Materias: | |
| Acceso en línea: | http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=73 http://hdl.handle.net/2133/3825 http://hdl.handle.net/2133/3825 |
| Aporte de: |
Ejemplares similares
-
Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
por: Forte, José Armando
Publicado: (2015) -
JAvatar Móvil: un desarrollo experimental JME para redes IMS
por: Kimura, Isabel, et al.
Publicado: (2010) -
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
por: Crespo, Juan Manuel
Publicado: (2013) -
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) -
Especificación de interfaces y patrones RIA
por: Campana, Diego Oscar
Publicado: (2009)