Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3440
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Zipitría, Felipe | es |
dc.date.accessioned | 2014-12-02T16:06:00Z | - |
dc.date.available | 2014-12-02T16:06:00Z | - |
dc.date.issued | 2009 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | ZIPITRÍA, F. "Towards secure distributed computations". Reportes Técnicos 09-11. UR. FI – INCO, 2009. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3440 | - |
dc.description.abstract | 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. | es |
dc.format.extent | 16 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 09-11 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | Proof Carrying Results | es |
dc.subject | Seguridad en Computación | es |
dc.subject | Computer Security | es |
dc.title | Towards secure distributed computations | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR0911.pdf | 390,22 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons