Secure mobile code and control flow analysis

The interaction between software systems by means of mobile code is a powerful and truly effective method, particularly useful for installing and executing code dynamically. However, for this mechanism to be applicable safely, especially in industrial or critical applications, techniques that guaran...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bavera, Francisco, Aguirre, Jorge, Nordio, Martín
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Program verification
mobile code
certifying compilation
static analysis
proof-carrying code
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22802
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares