Compilación y certificación de código mediante análisis estático de flujo de control y de datos

En la última década el uso de las TIC ha irrumpido en forma explosiva en todas las áreas de actividad humana y han sido incorporadas a una, cada vez más, amplia gama de aplicaciones y artefactos. Paralelamente ha crecido de la misma forma el uso de Código Móvil; esto es, de código que es generado po...

Descrición completa

Detalles Bibliográficos

Autor Principal:	Bavera, Francisco (author)
Formato:	masterThesis
Idioma:	Lingua castelá
Publicado:	2006
Subjects:	Compiladores Certificantes Verificación de Programas Seguridad Código Móvil Seguro Lenguajes de Programación Proof-Carrying Code
Acceso en liña:	http://hdl.handle.net/20.500.12008/2978
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!