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

Autores
Bavera, Francisco; Nordio, Martín; Aguirre, Jorge; Arroyo, Marcelo; Baum, Gabriel Alfredo; Medel, Ricardo
Año de publicación
2004
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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)
Materia
Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/21287
Acceder
id SEDICI_fe53f9c531b82128f3d1b03985915a7d
oai_identifier_str oai:sedici.unlp.edu.ar:10915/21287
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Grupo de procesadores de lenguajes. : Línea: código móvil seguroBavera, FranciscoNordio, MartínAguirre, JorgeArroyo, MarceloBaum, Gabriel AlfredoMedel, RicardoCiencias Informáticasprocesadores de lenguajesSOFTWARE ENGINEERINGLanguagescódigo móvil seguroEn 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 SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2004-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf226-231http://sedici.unlp.edu.ar/handle/10915/21287spainfo: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-10-15T10:47:14Zoai:sedici.unlp.edu.ar:10915/21287Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:47:14.491SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Grupo de procesadores de lenguajes. : Línea: código móvil seguro
title Grupo de procesadores de lenguajes. : Línea: código móvil seguro
spellingShingle Grupo de procesadores de lenguajes. : Línea: código móvil seguro
Bavera, Francisco
Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
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
dc.creator.none.fl_str_mv Bavera, Francisco
Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
author Bavera, Francisco
author_facet Bavera, Francisco
Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
author_role author
author2 Nordio, Martín
Aguirre, Jorge
Arroyo, Marcelo
Baum, Gabriel Alfredo
Medel, Ricardo
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
topic Ciencias Informáticas
procesadores de lenguajes
SOFTWARE ENGINEERING
Languages
código móvil seguro
dc.description.none.fl_txt_mv 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)
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.
publishDate 2004
dc.date.none.fl_str_mv 2004-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/21287
url http://sedici.unlp.edu.ar/handle/10915/21287
dc.language.none.fl_str_mv spa
language spa
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
226-231
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_ 1846063897297027072
score 13.22299

Publicaciones similares