STALlion: a simple typed assembly language for static analysis

Typed assembly languages have the goal of providing security guarantees, for example, for the limited use of resources in a host machine or the detection of autoupdate code. This work presents a simple typed assembly language which allows us to perform various kinds of static analysis tasks with the...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Nordio, Martín, Bavera, Francisco, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
Mobile Code
Proof-Carrying Code
Security Properties
Programming Languages
SOFTWARE ENGINEERING
base de datos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22342
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares