Entorno de Código Móvil Seguro

En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analys...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Aguirre, Jorge, Baum, Gabriel Alfredo, Arroyo, Marcelo, Bavera, Francisco, Medel, Ricardo, Nordio, Martín, Kilmurray, Cecilia, Mussolini, Johanna
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
Código Móvil Seguro
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21201
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21201
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
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes
spellingShingle Ciencias Informáticas
Código Móvil Seguro
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes
Aguirre, Jorge
Baum, Gabriel Alfredo
Arroyo, Marcelo
Bavera, Francisco
Medel, Ricardo
Nordio, Martín
Kilmurray, Cecilia
Mussolini, Johanna
Entorno de Código Móvil Seguro
topic_facet Ciencias Informáticas
Código Móvil Seguro
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes
description En este trabajo se presenta la línea Código Móvil Seguro del grupo de investigación “Procesadores de Lenguajes” del Departamento de Computación de la Universidad Nacional de Río Cuarto. Se presenta una técnica para garantizar código móvil seguro, denominada Proof-Carrying Code based on Static Analysis (PCC-SA), cuya principal ventaja es que el tamaño de las pruebas generadas es lineal respecto a la longitud de los programas. A fin de demostrar la aplicabilidad de esta técnica, se han implementado prototipos de un compilador certificante y un verificador de codigo basados en ella. En este trabajo también se presentan nuevas lineas de trabajo iniciadas, entre las cuales se destacan la extensión del prototipo de compilador certificante, la paralelización de PCC-SA y un modelo de seguridad para programas concurrentes.
format Objeto de conferencia
Objeto de conferencia
author Aguirre, Jorge
Baum, Gabriel Alfredo
Arroyo, Marcelo
Bavera, Francisco
Medel, Ricardo
Nordio, Martín
Kilmurray, Cecilia
Mussolini, Johanna
author_facet Aguirre, Jorge
Baum, Gabriel Alfredo
Arroyo, Marcelo
Bavera, Francisco
Medel, Ricardo
Nordio, Martín
Kilmurray, Cecilia
Mussolini, Johanna
author_sort Aguirre, Jorge
title Entorno de Código Móvil Seguro
title_short Entorno de Código Móvil Seguro
title_full Entorno de Código Móvil Seguro
title_fullStr Entorno de Código Móvil Seguro
title_full_unstemmed Entorno de Código Móvil Seguro
title_sort entorno de código móvil seguro
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/21201
work_keys_str_mv AT aguirrejorge entornodecodigomovilseguro
AT baumgabrielalfredo entornodecodigomovilseguro
AT arroyomarcelo entornodecodigomovilseguro
AT baverafrancisco entornodecodigomovilseguro
AT medelricardo entornodecodigomovilseguro
AT nordiomartin entornodecodigomovilseguro
AT kilmurraycecilia entornodecodigomovilseguro
AT mussolinijohanna entornodecodigomovilseguro
bdutipo_str Repositorios
_version_ 1764820465548787713

Ejemplares similares