Avances en Proof-Carrying Code

Uno de los principales desafíos en el diseño e implementación de sistemas que involucran código móvil es garantizar la seguridad del receptor frente a la ejecución del código foráneo. La técnica de Proof-Carrying Code (PCC) establece una infraestructura que permite garantizar que los programas se e...

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: 2003
Materias:
Ciencias Informáticas
Languages
Lenguajes de programación
Teoría de Tipos
Compilador Certificante
Código Móvil
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22764
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22764
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
Languages
Lenguajes de programación
Teoría de Tipos
Compilador Certificante
Código Móvil
spellingShingle Ciencias Informáticas
Languages
Lenguajes de programación
Teoría de Tipos
Compilador Certificante
Código Móvil
Bavera, Francisco
Nordio, Martín
Medel, Ricardo
Aguirre, Jorge
Baum, Gabriel Alfredo
Avances en Proof-Carrying Code
topic_facet Ciencias Informáticas
Languages
Lenguajes de programación
Teoría de Tipos
Compilador Certificante
Código Móvil
description Uno de los principales desafíos en el diseño e implementación de sistemas que involucran código móvil es garantizar la seguridad del receptor frente a la ejecución del código foráneo. La técnica de Proof-Carrying Code (PCC) establece una infraestructura que permite garantizar que los programas se ejecutarán de manera segura. En esta alternativa, el productor de código adjunta al código móvil una demostración, mediante la cual el consumidor del código puede verificar su seguridad antes de la ejecución del programa. Esto elimina la necesidad de validaciones en tiempo de ejecución y de identificación del emisor. Los esfuerzos de distintos grupos de investigación han logrado grandes avances en el tema y existen varias líneas de investigación tendientes a desarrollar una infraestructura flexible, escalable y confiable, quedando a´un muchos problemas por resolver. Partiendo del análisis de los resultados obtenidos y de los enfoques actuales se pretende diseñar e implementar una arquitectura PCC que permita su uso en el “mundo real”.
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 Avances en Proof-Carrying Code
title_short Avances en Proof-Carrying Code
title_full Avances en Proof-Carrying Code
title_fullStr Avances en Proof-Carrying Code
title_full_unstemmed Avances en Proof-Carrying Code
title_sort avances en proof-carrying code
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/22764
work_keys_str_mv AT baverafrancisco avancesenproofcarryingcode
AT nordiomartin avancesenproofcarryingcode
AT medelricardo avancesenproofcarryingcode
AT aguirrejorge avancesenproofcarryingcode
AT baumgabrielalfredo avancesenproofcarryingcode
bdutipo_str Repositorios
_version_ 1764820467669008386

Ejemplares similares