Compilación de programas seguros

Este trabajo primero presenta un lenguaje de alto nivel junto con un sistema de tipos que garantiza que los programas bien tipados satisfacen no-interferencia. Luego presenta un lenguaje de bajo nivel basado en Typed Assembly Language, al que denominamos SecTAL (Secure Typed Assembly Language), junt...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Molinari, Enrique
Otros Autores: Bonelli, Eduardo
Formato: Tesis Tesis de maestria
Lenguaje:Español
Publicado: 2010
Materias:
Ciencias Informáticas
Programming Environments
software
programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/4205
https://doi.org/10.35537/10915/4205
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares