| Título : |
Privately and Publicly Verifiable Computing Techniques : A Survey |
| Tipo de documento: |
documento electrónico |
| Autores: |
Demirel, Denise, Autor ; Schabhüser, Lucas, Autor ; Buchmann, Johannes, Autor |
| 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. |
| 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 |
| Índice Dewey: |
005.73 Estructuras de datos |
| 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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Privately and Publicly Verifiable Computing Techniques : A Survey [documento electrónico] / Demirel, Denise, Autor ; Schabhüser, Lucas, Autor ; Buchmann, Johannes, Autor . - 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. |  |
Hacer una sugerencia Refinar búsqueda
