Optimización del prototipo del entorno de ejecución de PCC-SA

Proof-Carrying Code based on Static Analysis (PCC-SA) es un entorno de ejecución de código móvil seguro. PCC-SA combina Proof-Carrying Code (PCC) y análisis estático con el fin de proporcionar una solución en aquellos casos en los cuales la política de seguridad no puede ser verificada eficientement...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Bavera, Francisco, Nordio, Martín, Medel, Ricardo, Aguirre, Jorge, Baum, Gabriel Alfredo
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2004
Materias:	Ciencias Informáticas Código Móvil Seguro SOFTWARE ENGINEERING base de datos Optimization Análisis Estático Verificación de Código Certificación de Código Compiladores Certificantes
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/22343
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-22343
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 Código Móvil Seguro SOFTWARE ENGINEERING base de datos Optimization Análisis Estático Verificación de Código Certificación de Código Compiladores Certificantes
spellingShingle	Ciencias Informáticas Código Móvil Seguro SOFTWARE ENGINEERING base de datos Optimization Análisis Estático Verificación de Código Certificación de Código Compiladores Certificantes Bavera, Francisco Nordio, Martín Medel, Ricardo Aguirre, Jorge Baum, Gabriel Alfredo Optimización del prototipo del entorno de ejecución de PCC-SA
topic_facet	Ciencias Informáticas Código Móvil Seguro SOFTWARE ENGINEERING base de datos Optimization Análisis Estático Verificación de Código Certificación de Código Compiladores Certificantes
description	Proof-Carrying Code based on Static Analysis (PCC-SA) es un entorno de ejecución de código móvil seguro. PCC-SA combina Proof-Carrying Code (PCC) y análisis estático con el fin de proporcionar una solución en aquellos casos en los cuales la política de seguridad no puede ser verificada eficientemente por un sistema de tipos formal, como es el caso de verificar inicialización de variables y accesos válidos a arreglos. PCC-SA utiliza un código intermedio de alto nivel, un árbol sintáctico abstracto (ASA) anotado con información de tipos. Este tipo de representación intermedia permite realizar diversos análisis estáticos para generar y verificar la información necesaria, y gran cantidad de optimizaciones al código generado. La principal ventaja de esta técnica reside en que el tamaño de la prueba generada es lineal con respecto al tamaño de los programas. Además, la complejidad de la generación de las anotaciones y la verificación de la seguridad del código también es lineal con respecto al tamaño de los programas. En este trabajo se presenta el diseño de las optimizaciones del prototipo de PCCSA (desarrollado originalmente con el solo fin de probar la factibilidad de PCC-SA). La meta de estas actividades es realizar un primer paso hacia la obtención de un ambiente de ejecución de código móvil seguro que pueda ser usado industrialmente.
format	Objeto de conferencia Objeto de conferencia
author	Bavera, Francisco Nordio, Martín Medel, Ricardo Aguirre, Jorge Baum, Gabriel Alfredo
author_facet	Bavera, Francisco Nordio, Martín Medel, Ricardo Aguirre, Jorge Baum, Gabriel Alfredo
author_sort	Bavera, Francisco
title	Optimización del prototipo del entorno de ejecución de PCC-SA
title_short	Optimización del prototipo del entorno de ejecución de PCC-SA
title_full	Optimización del prototipo del entorno de ejecución de PCC-SA
title_fullStr	Optimización del prototipo del entorno de ejecución de PCC-SA
title_full_unstemmed	Optimización del prototipo del entorno de ejecución de PCC-SA
title_sort	optimización del prototipo del entorno de ejecución de pcc-sa
publishDate	2004
url	http://sedici.unlp.edu.ar/handle/10915/22343
work_keys_str_mv	AT baverafrancisco optimizaciondelprototipodelentornodeejecuciondepccsa AT nordiomartin optimizaciondelprototipodelentornodeejecuciondepccsa AT medelricardo optimizaciondelprototipodelentornodeejecuciondepccsa AT aguirrejorge optimizaciondelprototipodelentornodeejecuciondepccsa AT baumgabrielalfredo optimizaciondelprototipodelentornodeejecuciondepccsa
bdutipo_str	Repositorios
_version_	1764820465609605122

Optimización del prototipo del entorno de ejecución de PCC-SA

Ejemplares similares