Entorno de Código Móvil Seguro

En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analys...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, Johanna
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Código Móvil Seguro
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21201
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares