Entorno de Código Móvil Seguro

Aguirre, Jorge et al · SEDICI UNLP · 2005

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Aguirre, Jorge et al

Editore

SEDICI UNLP

Anno

2005

Lingua

Español

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

SEDICI UNLP SEDICI UNLP OAI-PMH

Entrar por SEDICI UNLP

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

Descripción general del contenido del recurso.

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)

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Aguirre, J. E. A. (2005). Entorno de Código Móvil Seguro. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21201

MLA

Aguirre, Jorge et al. Entorno de Código Móvil Seguro. SEDICI UNLP, 2005. http://sedici.unlp.edu.ar/handle/10915/21201.

Chicago

Aguirre, Jorge et al. 2005. Entorno de Código Móvil Seguro. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21201.

Harvard

Aguirre, J. E. A. 2005, Entorno de Código Móvil Seguro, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/21201 [Accessed 9 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Entorno de Código Móvil Seguro

Autore / collaboratori: Aguirre, Jorge et al

Editore: SEDICI UNLP

Anno di pubblicazione: 2005

Lingua: Español

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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