Título:
Towards secure distributed computations
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
Zipitría, Felipe
Tutor:
Tipo de documento:
Reporte técnico
Editor:
Palabras clave:
Proof Carrying Results
Seguridad en Computación
Computer Security
Seguridad en Computación
Computer Security
Descriptores:
Año de publicación:
2009
Contenido:
Resumen:
In this paper, we present an infrastructure for securing distributed computations between hosts, using a novel technique called Proof Carrying Results. This technique is based on Necula's proof carrying code. Basically, the result of some computation comes equipped with a certicate, or witness, showing that the computation was made correctly. This witness can be used to verify that the value was generated in a good way. We will show how to add the PCR technique and its supporting infrastructure to a distributed programming language. This will make the language more robust against active adversaries, when the returned values of a computation are of abstract types. Finally, to check the values and associated witnesses produced by some host, we use the COQ proof checker for a precise and reliable veri cation.
Descripción:
Editorial:
UR. FI – INCO.
EN:
Reportes Técnicos 09-11
Financiadores:
Citación:
ZIPITRÍA, F. "Towards secure distributed computations". Reportes Técnicos 09-11. UR. FI – INCO, 2009.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
http://hdl.handle.net/20.500.12008/3440
ISBN:
e-ISBN:
ISSN:
0797-6410
ISMN:
Otros identificadores:
Título Obtenido:
Facultad o Servicio que otorga el Título:
Licencia:
Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| TR0911.pdf | — | 390.22 KB | Adobe PDF |