Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-09-19T15:49:40Z
dc.date.available 2012-09-19T15:49:40Z
dc.date.issued 2005
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/21201
dc.description.abstract 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. es
dc.format.extent 213-217 es
dc.language es es
dc.subject Código Móvil Seguro es
dc.subject Languages es
dc.subject Códigos es
dc.subject análisis estático es
dc.subject Parallel programming es
dc.subject verificación de código es
dc.subject certificación de código es
dc.subject compiladores certificantes es
dc.title Entorno de Código Móvil Seguro es
dc.type Objeto de conferencia es
sedici.identifier.isbn 950-665-337-2 es
sedici.creator.person Aguirre, Jorge es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.creator.person Arroyo, Marcelo es
sedici.creator.person Bavera, Francisco es
sedici.creator.person Medel, Ricardo es
sedici.creator.person Nordio, Martín es
sedici.creator.person Kilmurray, Cecilia es
sedici.creator.person Mussolini, Johanna es
sedici.description.note Eje: Programacion, Lenguajes es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2005-05
sedici.relation.event VII Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (349.3Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)