Entorno de Código Móvil Seguro

Authors
Aguirre, Jorge; Baum, Gabriel Alfredo; Arroyo, Marcelo; Bavera, Francisco; Medel, Ricardo; Nordio, Martín; Kilmurray, Cecilia; Mussolini, Johanna
Publication Year
2005
Language
Spanish
Format
conference paper
Status
Published version
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.
Eje: Programacion, Lenguajes
Red de Universidades con Carreras en Informática (RedUNCI)
Subject
Ciencias Informáticas
Códigos
Código Móvil Seguro
análisis estático
verificación de código
certificación de código
compiladores certificantes
Languages
Parallel programming
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/21201