國立虎尾科技大學 |

Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Provable Security/ edited by Ron Steinfeld, Tsz Hon Yuen.
Reminder of title:	13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
other author:	Steinfeld, Ron.
Description:	XI, 382 p. 131 illus., 9 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Data encryption (Computer science). -
Online resource:	https://doi.org/10.1007/978-3-030-31919-9
ISBN:	9783030319199

Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
Provable Security13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /[electronic resource] :edited by Ron Steinfeld, Tsz Hon Yuen. - 1st ed. 2019. - XI, 382 p. 131 illus., 9 illus. in color.online resource. - Security and Cryptology ;11821. - Security and Cryptology ;9241.

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 Eﬃcient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Oﬄine Certiﬁcateless Aggregate Signature -- Secure Online/Oﬄine 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-Eﬃcient 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-Eﬃcient Edge Intelligence Model Training.

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.”.

ISBN: 9783030319199

Standard No.: 10.1007/978-3-030-31919-9doiSubjects--Topical Terms:

1051084
Data encryption (Computer science).

LC Class. No.: QA76.9.D335

Dewey Class. No.: 005.82

Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings /
LDR:03704nam a22004215i 4500 001 1004013
003 DE-He213
005 20200706071417.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030319199 $9 978-3-030-31919-9
024 7 $a 10.1007/978-3-030-31919-9 $2 doi
035 $a 978-3-030-31919-9
050 4 $a QA76.9.D335
072 7 $a GPJ $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a GPJ $2 thema
072 7 $a URY $2 thema
082 0 4 $a 005.82 $2 23
245 1 0 $a Provable Security $h [electronic resource] : $b 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / $c edited by Ron Steinfeld, Tsz Hon Yuen.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XI, 382 p. 131 illus., 9 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Security and Cryptology ; $v 11821
505 0 $a 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 Eﬃcient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Oﬄine Certiﬁcateless Aggregate Signature -- Secure Online/Oﬄine 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-Eﬃcient 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-Eﬃcient Edge Intelligence Model Training.
520 $a 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.”.
650 0 $a Data encryption (Computer science). $3 1051084
650 0 $a Computers. $3 565115
650 0 $a Software engineering. $3 562952
650 1 4 $a Cryptology. $3 1211076
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Information Systems and Communication Service. $3 669203
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
700 1 $a Steinfeld, Ron. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1110056
700 1 $a Yuen, Tsz Hon. $e editor. $1 https://orcid.org/0000-0002-0629-6792 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1297400
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030319182
776 0 8 $i Printed edition: $z 9783030319205
830 0 $a Security and Cryptology ; $v 9241 $3 1254069
856 4 0 $u https://doi.org/10.1007/978-3-030-31919-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)