Grupo de procesadores de lenguajes. : Línea: código móvil seguro

En el último tiempo Proof-Carrying Code (PCC) ha despertado un gran interés surgiendo numerosas líneas de trabajo. 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 demost...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bavera, Francisco, Nordio, Martín, Aguirre, Jorge, Arroyo, Marcelo, Baum, Gabriel Alfredo, Medel, Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21287
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21287
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
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
spellingShingle Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
Bavera, Francisco
Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
Grupo de procesadores de lenguajes. : Línea: código móvil seguro
topic_facet Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
description En el último tiempo Proof-Carrying Code (PCC) ha despertado un gran interés surgiendo numerosas líneas de trabajo. 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. Análisis estático es un técnica con un gran potencial para producir la evidencia necesaria para garantizar código móvil seguro. Basándonos en estas dos técnicas se presenta una arquitectura para garantizar la ejecución de código móvil de manera segura. Además se presenta el prototipo implementado que demuestra la factibilidad del uso de la técnica.
format Objeto de conferencia
Objeto de conferencia
author Bavera, Francisco
Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
author_facet Bavera, Francisco
Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
author_sort Bavera, Francisco
title Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title_short Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title_full Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title_fullStr Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title_full_unstemmed Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title_sort grupo de procesadores de lenguajes. : línea: código móvil seguro
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/21287
work_keys_str_mv AT baverafrancisco grupodeprocesadoresdelenguajeslineacodigomovilseguro
AT nordiomartin grupodeprocesadoresdelenguajeslineacodigomovilseguro
AT aguirrejorge grupodeprocesadoresdelenguajeslineacodigomovilseguro
AT arroyomarcelo grupodeprocesadoresdelenguajeslineacodigomovilseguro
AT baumgabrielalfredo grupodeprocesadoresdelenguajeslineacodigomovilseguro
AT medelricardo grupodeprocesadoresdelenguajeslineacodigomovilseguro
bdutipo_str Repositorios
_version_ 1764820464370188288

Ejemplares similares