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

Authors
Bavera, Francisco; Nordio, Martín; Aguirre, Jorge; Arroyo, Marcelo; Baum, Gabriel Alfredo; Medel, Ricardo
Publication Year
2004
Language
Spanish
Format
conference paper
Status
Published version
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.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Subject
Ciencias Informáticas
procesadores de lenguajes
código móvil seguro
SOFTWARE ENGINEERING
Languages
Access level
Open access
License
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
Repository
SEDICI (UNLP)
Institution
Universidad Nacional de La Plata
OAI Identifier
oai:sedici.unlp.edu.ar:10915/21287