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
id I19-R120-10915-4205
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Programming Environments
software
programación
spellingShingle Ciencias Informáticas
Programming Environments
software
programación
Molinari, Enrique
Compilación de programas seguros
topic_facet Ciencias Informáticas
Programming Environments
software
programación
description 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), junto con un sistema de tipos que satisface propiedades similares. Finalmente, presenta una función de compilación junto con una demostración de que preserva la propiedad de no-interferencia. La función de compilación ha sido implementada al igual que un chequeador de tipos para SecTAL1. Las contribuciones pueden resumirse de la siguiente manera: La definición de una función de compilación de un lenguaje imperativo sencillo hacia un lenguaje de bajo nivel basado en Typed Assembly Language. La prueba de un resultado de preservación de tipado que muestra que si el programa fuente es bien tipado (y por ende seguro) también lo será el resultado de compilar el mismo.
author2 Bonelli, Eduardo
author_facet Bonelli, Eduardo
Molinari, Enrique
format Tesis
Tesis de maestria
author Molinari, Enrique
author_sort Molinari, Enrique
title Compilación de programas seguros
title_short Compilación de programas seguros
title_full Compilación de programas seguros
title_fullStr Compilación de programas seguros
title_full_unstemmed Compilación de programas seguros
title_sort compilación de programas seguros
publishDate 2010
url http://sedici.unlp.edu.ar/handle/10915/4205
https://doi.org/10.35537/10915/4205
work_keys_str_mv AT molinarienrique compilaciondeprogramasseguros
bdutipo_str Repositorios
_version_ 1764820473214926850

Ejemplares similares