Entorno de Código Móvil Seguro
- Autores
- Aguirre, Jorge; Baum, Gabriel Alfredo; Arroyo, Marcelo; Bavera, Francisco; Medel, Ricardo; Nordio, Martín; Kilmurray, Cecilia; Mussolini, Johanna
- Año de publicación
- 2005
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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) - Materia
-
Ciencias Informáticas
Código Móvil Seguro
Languages
Códigos
análisis estático
Parallel programming
verificación de código
certificación de código
compiladores certificantes - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/21201
Ver los metadatos del registro completo
id |
SEDICI_7feaa33ebf4e68ec3b19327c7ad37644 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/21201 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Entorno de Código Móvil SeguroAguirre, JorgeBaum, Gabriel AlfredoArroyo, MarceloBavera, FranciscoMedel, RicardoNordio, MartínKilmurray, CeciliaMussolini, JohannaCiencias InformáticasCódigo Móvil SeguroLanguagesCódigosanálisis estáticoParallel programmingverificación de códigocertificación de códigocompiladores certificantesEn 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, LenguajesRed de Universidades con Carreras en Informática (RedUNCI)2005-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf213-217http://sedici.unlp.edu.ar/handle/10915/21201spainfo:eu-repo/semantics/altIdentifier/isbn/950-665-337-2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:54:33Zoai:sedici.unlp.edu.ar:10915/21201Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:54:33.192SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Entorno de Código Móvil Seguro |
title |
Entorno de Código Móvil Seguro |
spellingShingle |
Entorno de Código Móvil Seguro Aguirre, Jorge Ciencias Informáticas Código Móvil Seguro Languages Códigos análisis estático Parallel programming verificación de código certificación de código compiladores certificantes |
title_short |
Entorno de Código Móvil Seguro |
title_full |
Entorno de Código Móvil Seguro |
title_fullStr |
Entorno de Código Móvil Seguro |
title_full_unstemmed |
Entorno de Código Móvil Seguro |
title_sort |
Entorno de Código Móvil Seguro |
dc.creator.none.fl_str_mv |
Aguirre, Jorge Baum, Gabriel Alfredo Arroyo, Marcelo Bavera, Francisco Medel, Ricardo Nordio, Martín Kilmurray, Cecilia Mussolini, Johanna |
author |
Aguirre, Jorge |
author_facet |
Aguirre, Jorge Baum, Gabriel Alfredo Arroyo, Marcelo Bavera, Francisco Medel, Ricardo Nordio, Martín Kilmurray, Cecilia Mussolini, Johanna |
author_role |
author |
author2 |
Baum, Gabriel Alfredo Arroyo, Marcelo Bavera, Francisco Medel, Ricardo Nordio, Martín Kilmurray, Cecilia Mussolini, Johanna |
author2_role |
author author author author author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Código Móvil Seguro Languages Códigos análisis estático Parallel programming verificación de código certificación de código compiladores certificantes |
topic |
Ciencias Informáticas Código Móvil Seguro Languages Códigos análisis estático Parallel programming verificación de código certificación de código compiladores certificantes |
dc.description.none.fl_txt_mv |
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) |
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. |
publishDate |
2005 |
dc.date.none.fl_str_mv |
2005-05 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/21201 |
url |
http://sedici.unlp.edu.ar/handle/10915/21201 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/950-665-337-2 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 213-217 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615803094171648 |
score |
13.070432 |