東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Provable security = 13th Internation...

ProvSec (Conference) (2019 :)

FindBook

Google Book

Amazon

博客來

Provable security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Provable security/ edited by Ron Steinfeld, Tsz Hon Yuen.
其他題名:	13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /
其他題名:	ProvSec 2019
其他作者:	Steinfeld, Ron.
團體作者:	ProvSec (Conference)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xi, 382 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Computer security - Congresses. -
電子資源:	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] :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 ;11821..

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:

622818
Computer security
--Congresses.

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

Dewey Class. No.: 005.82

Provable security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019 : proceedings /
LDR:03444nmm a2200373 a 4500 001 2193180
003 DE-He213
005 20190924191328.0
006 m d
007 cr nn 008maaau
008 200514s2019 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 $a ProvSec (Conference) $n (13th : $d 2019 : $c Cairns, Qld.) $3 3414148
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 622818
650 0 $a Data encryption (Computer science) $v Congresses. $3 844473
650 0 $a Data protection $x Congresses. $3 678562
650 1 4 $a Cryptology. $3 3382308
650 2 4 $a Computing Milieux. $3 893243
650 2 4 $a Information Systems and Communication Service. $3 891044
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
700 1 $a Steinfeld, Ron. $3 1244182
700 1 $a Yuen, Tsz Hon. $3 1620959
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 11821. $3 3414149
830 0 $a Security and cryptology. $3 3382517
856 4 0 $u https://doi.org/10.1007/978-3-030-31919-9
950 $a Computer Science (Springer-11645)