Multiejecución segura para programación interactiva

La confidencialidad de datos es cada día más importante. Debido a esto se han desarrollado políticas de seguridad como no interferencia que buscan evitar la filtración de datos privados en canales públicos. Recientemente, se ha probado que la multiejecución segura es una mecanismo efectivo para gara...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Zanarini, Dante
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/125167
Aporte de:
id I19-R120-10915-125167
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Multiejecución
Programación Interactiva
spellingShingle Ciencias Informáticas
Multiejecución
Programación Interactiva
Zanarini, Dante
Multiejecución segura para programación interactiva
topic_facet Ciencias Informáticas
Multiejecución
Programación Interactiva
description La confidencialidad de datos es cada día más importante. Debido a esto se han desarrollado políticas de seguridad como no interferencia que buscan evitar la filtración de datos privados en canales públicos. Recientemente, se ha probado que la multiejecución segura es una mecanismo efectivo para garantizar una forma de no interferencia. En este trabajo, probamos que la multiejecución segura es también efectiva para una política de seguridad aplicable a programas interactivos que a) pueden no terminar b) producen efectos cuyo orden es observable. Además, probamos que, sorprendentemente, para programas no interferentes la multiejecución segura puede preservar la semántica, a pesar del orden observable de los efectos.
format Objeto de conferencia
Objeto de conferencia
author Zanarini, Dante
author_facet Zanarini, Dante
author_sort Zanarini, Dante
title Multiejecución segura para programación interactiva
title_short Multiejecución segura para programación interactiva
title_full Multiejecución segura para programación interactiva
title_fullStr Multiejecución segura para programación interactiva
title_full_unstemmed Multiejecución segura para programación interactiva
title_sort multiejecución segura para programación interactiva
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/125167
work_keys_str_mv AT zanarinidante multiejecucionseguraparaprogramacioninteractiva
bdutipo_str Repositorios
_version_ 1764820451333242884