Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2011-12-15T18:54:12Z
dc.date.available 2011-12-15T03:00:00Z
dc.date.issued 2010
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/4205
dc.identifier.uri https://doi.org/10.35537/10915/4205
dc.description.abstract 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. es
dc.language es es
dc.subject Programming Environments es
dc.subject software es
dc.subject programación es
dc.title Compilación de programas seguros es
dc.type Tesis es
sedici.creator.person Molinari, Enrique es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Tesis de maestria es
sedici.rights.license Creative Commons Attribution 4.0 International (CC BY 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by/4.0/
sedici.contributor.director Bonelli, Eduardo es
sedici.contributor.codirector Rossi, Gustavo Héctor es
thesis.degree.name Magister en Ingeniería de Software es
thesis.degree.grantor Universidad Nacional de La Plata es
sedici.date.exposure 2010
sedici2003.identifier ARG-UNLP-TPG-0000002892 es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution 4.0 International (CC BY 4.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution 4.0 International (CC BY 4.0)