Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2021-09-20T13:16:37Z
dc.date.available 2021-09-20T13:16:37Z
dc.date.issued 2012
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/125167
dc.description.abstract 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. es
dc.format.extent 36-50 es
dc.language es es
dc.subject Multiejecución es
dc.subject Programación Interactiva es
dc.title Multiejecución segura para programación interactiva es
dc.type Objeto de conferencia es
sedici.identifier.issn 2313-9110 es
sedici.creator.person Zanarini, Dante es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 2012
sedici.relation.event IV Workshop de Seguridad Informática (WSegI 2012) (XLI JAIIO, La Plata, 27 al 31 de agosto de 2012) es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (859.9Kb) - PDF

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

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