Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles

Este documento presenta resultados generados principalmente en el marco de una línea de investigación que involucra a dos proyectos de investigación: "Especificación formal y verificación de sistemas críticos", SeCyT-FCEIA, UNR (ING266), Argentina; y "STEVE: Seguridad a Través de Evid...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Luna, Carlos, Betarte, Gustavo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2011
Materias:	Ciencias Informáticas escificación formal Semantics sistemas críticos Semantics of Programming Languages modelos de seguridad para dispositivos móviles (MIDP) asistentes de prueba (Coq)
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/20010
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-20010
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas escificación formal Semantics sistemas críticos Semantics of Programming Languages modelos de seguridad para dispositivos móviles (MIDP) asistentes de prueba (Coq)
spellingShingle	Ciencias Informáticas escificación formal Semantics sistemas críticos Semantics of Programming Languages modelos de seguridad para dispositivos móviles (MIDP) asistentes de prueba (Coq) Luna, Carlos Betarte, Gustavo Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
topic_facet	Ciencias Informáticas escificación formal Semantics sistemas críticos Semantics of Programming Languages modelos de seguridad para dispositivos móviles (MIDP) asistentes de prueba (Coq)
description	Este documento presenta resultados generados principalmente en el marco de una línea de investigación que involucra a dos proyectos de investigación: "Especificación formal y verificación de sistemas críticos", SeCyT-FCEIA, UNR (ING266), Argentina; y "STEVE: Seguridad a Través de Evidencia VErificable", proyecto PDT, DINACYT, Uruguay. Asimismo, algunas actividades de estos proyectos se enmarcaron en un proyecto de cooperación STIC-AMSUD: "ReSeCo: Reliability and Security of Distributed Software Components". El artículo describe esencial y sucintamente los trabajos realizados, las principales publicaciones obtenidas y la formación de recursos humanos en Argentina y Uruguay.
format	Objeto de conferencia Objeto de conferencia
author	Luna, Carlos Betarte, Gustavo
author_facet	Luna, Carlos Betarte, Gustavo
author_sort	Luna, Carlos
title	Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
title_short	Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
title_full	Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
title_fullStr	Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
title_full_unstemmed	Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles
title_sort	especificación y verificación formal de sistemas críticos : análisis de modelos de seguridad para dispositivos móviles
publishDate	2011
url	http://sedici.unlp.edu.ar/handle/10915/20010
work_keys_str_mv	AT lunacarlos especificacionyverificacionformaldesistemascriticosanalisisdemodelosdeseguridadparadispositivosmoviles AT betartegustavo especificacionyverificacionformaldesistemascriticosanalisisdemodelosdeseguridadparadispositivosmoviles
bdutipo_str	Repositorios
_version_	1764820464963682304

Especificación y verificación formal de sistemas críticos : Análisis de modelos de seguridad para dispositivos móviles

Ejemplares similares