On Verifying the Consistency of Remote Untrusted ServicesReportar como inadecuado



 On Verifying the Consistency of Remote Untrusted Services


On Verifying the Consistency of Remote Untrusted Services - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: On Verifying the Consistency of Remote Untrusted Services
A group of mutually trusting clients outsources a computation service to a remote server, which they do not fully trust and that may be subject to attacks. The clients do not communicate with each other and would like to verify the correctness of the remote computation and the consistency of the servers responses. This paper presents the Commutative-Operation verification Protocol COP that ensures linearizability when the server is correct and preserves fork-linearizability in any other case. Fork-linearizability ensures that all clients that observe each others operations are consistent in the sense that their own operations and those operations of other clients that they see are linearizable. COP goes beyond previous protocols in supporting wait-free client operations for sequences of commutative operations.



Autor: Christian Cachin; Olga Ohrimenko

Fuente: https://archive.org/



DESCARGAR PDF




Documentos relacionados