TÃtulo : |
13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings |
Tipo de documento: |
documento electrónico |
Autores: |
Steinfeld, Ron, ; Yuen, Tsz Hon, |
Mención de edición: |
1 ed. |
Editorial: |
[s.l.] : Springer |
Fecha de publicación: |
2019 |
Número de páginas: |
XI, 382 p. 131 ilustraciones, 9 ilustraciones en color. |
ISBN/ISSN/DL: |
978-3-030-31919-9 |
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: |
CriptografÃa Cifrado de datos (Informática) Ordenadores Red de computadoras IngenierÃa de software CriptologÃa Entornos informáticos Redes de comunicación informática |
Clasificación: |
5.824 |
Resumen: |
Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Seguridad Demostrable, ProvSec 2019, celebrada en Cairns, QLD, Australia, en octubre de 2019. Los 18 artÃculos completos y 6 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artÃculos se centran en la seguridad demostrable como herramienta esencial para analizar la seguridad de las primitivas criptográficas modernas, incluido un tema especial sobre "Seguridad práctica". |
Nota de contenido: |
Lattice-based IBE with equality test in standard model -- A critique of game-based deï¬nitions of receipt-freeness for voting -- One-Round Authenticated Group Key Exchange from Isogenies -- History-Free Sequential Aggregate MAC Revisited -- An Efficient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Offline Certiï¬cateless Aggregate Signature -- Secure Online/Offline Attribute-based Encryption for IOT Users in Cloud Computing -- Identity-Concealed Authenticated Encryption from Ring Learning With Errors -- Towards Enhanced Security for Certiï¬cateless Public-key Authenticated Encryption with Keyword Search -- TumbleBit++: A Comprehensive Privacy Protocol Providing Anonymity and Amount-invisibility -- A Lattice-Based Anonymous Distributed E-Cash from Bitcoin -- Plaintext-Veriï¬ably-Checkable Encryption -- Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem -- Hierarchical Functional Signcryption: Notion and Construction -- FSPVDsse: A Forward Secure Publicly Veriï¬able Dynamic SSE scheme -- A Hidden Markov Model-Based Method for Virtual Machine Anomaly Detection -- Password-based Authenticated Key Exchange from Standard Isogeny Assumptions -- A centralized digital currency system with rich functions -- A Practical Lattice-Based Sequential Aggregate Signature -- Provably Secure Proactive Secret Sharing Without the Adjacent Assumption -- Space-Efficient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG -- A Coin-Free Oracle-Based Augmented Black Box Framework -- Chameleon Hash Time-Lock Contract for Privacy Preserving Payment Channel Networks -- Solving ECDLP via List Decoding -- On-demand Privacy Preservation for Cost-Efficient Edge Intelligence Model Training. |
Tipo de medio : |
Computadora |
Summary : |
This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on "Practical Security.". |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings [documento electrónico] / Steinfeld, Ron, ; Yuen, Tsz Hon, . - 1 ed. . - [s.l.] : Springer, 2019 . - XI, 382 p. 131 ilustraciones, 9 ilustraciones en color. ISBN : 978-3-030-31919-9 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: |
CriptografÃa Cifrado de datos (Informática) Ordenadores Red de computadoras IngenierÃa de software CriptologÃa Entornos informáticos Redes de comunicación informática |
Clasificación: |
5.824 |
Resumen: |
Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Seguridad Demostrable, ProvSec 2019, celebrada en Cairns, QLD, Australia, en octubre de 2019. Los 18 artÃculos completos y 6 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Los artÃculos se centran en la seguridad demostrable como herramienta esencial para analizar la seguridad de las primitivas criptográficas modernas, incluido un tema especial sobre "Seguridad práctica". |
Nota de contenido: |
Lattice-based IBE with equality test in standard model -- A critique of game-based deï¬nitions of receipt-freeness for voting -- One-Round Authenticated Group Key Exchange from Isogenies -- History-Free Sequential Aggregate MAC Revisited -- An Efficient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Offline Certiï¬cateless Aggregate Signature -- Secure Online/Offline Attribute-based Encryption for IOT Users in Cloud Computing -- Identity-Concealed Authenticated Encryption from Ring Learning With Errors -- Towards Enhanced Security for Certiï¬cateless Public-key Authenticated Encryption with Keyword Search -- TumbleBit++: A Comprehensive Privacy Protocol Providing Anonymity and Amount-invisibility -- A Lattice-Based Anonymous Distributed E-Cash from Bitcoin -- Plaintext-Veriï¬ably-Checkable Encryption -- Improved Cryptanalysis of the KMOV Elliptic Curve Cryptosystem -- Hierarchical Functional Signcryption: Notion and Construction -- FSPVDsse: A Forward Secure Publicly Veriï¬able Dynamic SSE scheme -- A Hidden Markov Model-Based Method for Virtual Machine Anomaly Detection -- Password-based Authenticated Key Exchange from Standard Isogeny Assumptions -- A centralized digital currency system with rich functions -- A Practical Lattice-Based Sequential Aggregate Signature -- Provably Secure Proactive Secret Sharing Without the Adjacent Assumption -- Space-Efficient and Secure Substring Searchable Symmetric Encryption Using an Improved DAWG -- A Coin-Free Oracle-Based Augmented Black Box Framework -- Chameleon Hash Time-Lock Contract for Privacy Preserving Payment Channel Networks -- Solving ECDLP via List Decoding -- On-demand Privacy Preservation for Cost-Efficient Edge Intelligence Model Training. |
Tipo de medio : |
Computadora |
Summary : |
This book constitutes the refereed proceedings of the 13th International Conference on Provable Security, ProvSec 2019, held in Cairns, QLD, Australia, in October 2019. The 18 full and 6 short papers presented were carefully reviewed and selected from 51 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives, including a special theme on "Practical Security.". |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |