國立高雄大學圖資館 |

Language: English

Back

Provable security13th International ...

(1998 :)

Provable security13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Provable securityedited by Ron Steinfeld, Tsz Hon Yuen.
Reminder of title:	13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /
remainder title:	ProvSec 2019
other author:	Steinfeld, Ron.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xi, 382 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer securityCongresses.
Online resource:	https://doi.org/10.1007/978-3-030-31919-9
ISBN:	9783030319199$q(electronic bk.)

Provable security13th 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] :ProvSec 2019edited by Ron Steinfeld, Tsz Hon Yuen. - Cham :Springer International Publishing :2019. - xi, 382 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,118210302-9743 ;. - Lecture notes in computer science ;4891..

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$q(electronic bk.)

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

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25 / P76 2019

Dewey Class. No.: 005.82

Provable security13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /
LDR:03444nmm a2200373 a 4500 001 566326
003 DE-He213
005 20190924191328.0
006 m d
007 cr nn 008maaau
008 200429s2019 gw s 0 eng d
020 $a 9783030319199$q(electronic bk.)
020 $a 9783030319182$q(paper)
024 7 $a 10.1007/978-3-030-31919-9 $2 doi
035 $a 978-3-030-31919-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b P76 2019
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
090 $a QA76.9.A25 $b P969 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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.
246 3 $a ProvSec 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xi, 382 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11821
490 1 $a Security and cryptology
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 Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
650 0 $a Data protection $v Congresses. $3 384517
650 1 4 $a Cryptology. $3 825728
650 2 4 $a Computing Milieux. $3 275270
650 2 4 $a Information Systems and Communication Service. $3 274025
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
700 1 $a Steinfeld, Ron. $3 492055
700 1 $a Yuen, Tsz Hon. $3 585096
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Security and cryptology. $3 822028
856 4 0 $u https://doi.org/10.1007/978-3-030-31919-9
950 $a Computer Science (Springer-11645)