Buscar
Mostrando ítems 1-8 de 8
Descripción y Análisis Formal del Modelo de Seguridad de Android
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014)
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
(Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional de Rosario, 2013)
Formalización del protocolo de comunicación entre aplicaciones para dispositivos móviles Java
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015)
Análisis Formal de la Instalación de Aplicaciones en MIDP 3.0.
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2015)
Pensarnos como trabajadores: recorrido por una experiencia de organización de los trabajadores profesionales de las cárceles de Santa Fe en el año 2012
(Facultad de Ciencia Política y Relaciones Internacionales, 2016)
Especificación Formal del Modelo DNSSEC en el Cálculo de Construcciones Inductivas
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Especificación de un sistema CGF
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)