Privately and Publicly Verifiable Computing Techniques / Demirel, Denise  

Público ISBD Ningún comentario para este título. Título : Privately and Publicly Verifiable Computing Techniques : A Survey Tipo de documento: documento electrónico Autores: Demirel, Denise, ; Schabhüser, Lucas, ; Buchmann, Johannes, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XII, 64 p. ISBN/ISSN/DL: 978-3-319-53798-6 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Estructuras de datos (Informática)  Teoría de la información  Informática  Matemáticas discretas  Ordenadores  Estructuras de datos y teoría de la información  Matemáticas de la Computación  Rendimiento y confiabilidad del hardware Clasificación: 005.73 Resumen: Este libro presenta la primera descripción general completa de varias técnicas de computación verificable que permiten delegar a un servidor el cálculo de una función sobre datos subcontratados. Proporciona una breve descripción de todos los enfoques y destaca las propiedades que logra cada solución. Además, analiza el nivel de seguridad proporcionado, la eficiencia del proceso de verificación, quién puede actuar como verificador y verificar la exactitud del resultado, qué clase de función admite el esquema de computación verificable y si se proporciona privacidad con respecto a los datos de entrada y/o salida. Sobre la base de este análisis, los autores comparan los diferentes enfoques y esbozan posibles direcciones para el trabajo futuro. El libro es de interés para cualquiera que desee comprender el estado del arte de este campo de investigación. Nota de contenido: Introduction -- Preliminaries -- Proof Based Verifiable Computing -- Verifiable Computing from Fully Homomorphic Encryption -- Homomorphic Authenticators -- Verifiable Computing Frameworks from Functional Encryption and Functional Signatures -- Verifiable Computing for Specific Applications -- Analysis of the State of the Art -- Conclusion. Tipo de medio : Computadora Summary : This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server. It provides a brief description of all the approaches and highlights the properties each solution achieves. Further, it analyzes the level of security provided, how efficient the verification process is, who can act as a verifier and check the correctness of the result, which function class the verifiable computing scheme supports, and whether privacy with respect to t he input and/or output data is provided. On the basis of this analysis the authors then compare the different approaches and outline possible directions for future work. The book is of interest to anyone wanting to understand the state of the art of this research field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Privately and Publicly Verifiable Computing Techniques : A Survey [documento electrónico] / Demirel, Denise, ; Schabhüser, Lucas, ; Buchmann, Johannes,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XII, 64 p. ISBN : 978-3-319-53798-6 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Estructuras de datos (Informática)  Teoría de la información  Informática  Matemáticas discretas  Ordenadores  Estructuras de datos y teoría de la información  Matemáticas de la Computación  Rendimiento y confiabilidad del hardware Clasificación: 005.73 Resumen: Este libro presenta la primera descripción general completa de varias técnicas de computación verificable que permiten delegar a un servidor el cálculo de una función sobre datos subcontratados. Proporciona una breve descripción de todos los enfoques y destaca las propiedades que logra cada solución. Además, analiza el nivel de seguridad proporcionado, la eficiencia del proceso de verificación, quién puede actuar como verificador y verificar la exactitud del resultado, qué clase de función admite el esquema de computación verificable y si se proporciona privacidad con respecto a los datos de entrada y/o salida. Sobre la base de este análisis, los autores comparan los diferentes enfoques y esbozan posibles direcciones para el trabajo futuro. El libro es de interés para cualquiera que desee comprender el estado del arte de este campo de investigación. Nota de contenido: Introduction -- Preliminaries -- Proof Based Verifiable Computing -- Verifiable Computing from Fully Homomorphic Encryption -- Homomorphic Authenticators -- Verifiable Computing Frameworks from Functional Encryption and Functional Signatures -- Verifiable Computing for Specific Applications -- Analysis of the State of the Art -- Conclusion. Tipo de medio : Computadora Summary : This book presents the first comprehensive overview of various verifiable computing techniques, which allow the computation of a function on outsourced data to be delegated to a server. It provides a brief description of all the approaches and highlights the properties each solution achieves. Further, it analyzes the level of security provided, how efficient the verification process is, who can act as a verifier and check the correctness of the result, which function class the verifiable computing scheme supports, and whether privacy with respect to t he input and/or output data is provided. On the basis of this analysis the authors then compare the different approaches and outline possible directions for future work. The book is of interest to anyone wanting to understand the state of the art of this research field. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200