國立高雄大學圖資館 |

登入

回首頁

Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Provable and practical securityedited by Chunpeng Ge, Fuchun Guo.
其他題名:	16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /
其他題名:	ProvSec 2022
其他作者:	Ge, Chunpeng.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2022.
面頁冊數:	ix, 291 p. :ill. (some color), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer securityCongresses.
電子資源:	https://doi.org/10.1007/978-3-031-20917-8
ISBN:	9783031209178$q(electronic bk.)

Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /
Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /[electronic resource] :ProvSec 2022edited by Chunpeng Ge, Fuchun Guo. - Cham :Springer Nature Switzerland :2022. - ix, 291 p. :ill. (some color), digital ;24 cm. - Lecture notes in computer science,136000302-9743 ;. - Lecture notes in computer science ;4891..

Encryption -- A Generic Construction of CCA-secure Attribute-based Encryption with Equality Test -- Secure-Channel Free Certificateless Searchable Public key Authenticated Encryption with Keyword Search -- More Efficient Verifiable Functional Encryption -- Subverting Deniability -- Epoch Confidentiality in Updatable Encryption -- Lattice Based Cryptography -- Simplified Server-Aided Revocable Identity-Based Encryption from Lattices -- Lattice-based Public Key Cryptosystems invoking Linear Mapping Mask -- Batched Fully Dynamic Multi-key FHE from FHEW-like Cryptosystems -- Zero-knowledge Range Arguments for Signed Fractional Numbers from Lattices -- Information Security -- Fast Out-of-band Data Integrity Monitor to Mitigate Memory Corruption Attacks -- Construction of a New UAV Management System based on UMIA Technology -- FP2-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning -- Practical Federated Learning for Samples with Different IDs -- Blockchain -- Reinforcement-Mining: Protecting Reward in Selfish Mining -- FolketID: A Decentralized Blockchain-based NemID Alternative against DDosS Attacks -- Secure Collaboration between Consortiums in Permissioned Blockchains -- Foundations -- (Public) Verifiability For Composable Protocols Without Adaptivity Or Zero-Knowledge -- Practical Non-Malleable Codes from Symmetric-key Primitives in 2-Split-State Model -- Cryptographic Role-Based Access Control, Reconsidered.

This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11-12,2022. The 15 full papers and 4 short papers were presented carefully reviewed and selected from 52 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: Encryption; Lattice Based Cryptography; Information Security; Blockchain; and Foundations.

ISBN: 9783031209178$q(electronic bk.)

Standard No.: 10.1007/978-3-031-20917-8doiSubjects--Topical Terms:

383239
Computer security
--Congresses.

LC Class. No.: QA76.9.A25

Dewey Class. No.: 005.82

Provable and practical security16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings /
LDR:03226nmm a2200373 a 4500 001 633225
003 DE-He213
005 20221108005324.0
006 m d
007 cr nn 008maaau
008 230511s2022 sz s 0 eng d
020 $a 9783031209178$q(electronic bk.)
020 $a 9783031209161$q(paper)
024 7 $a 10.1007/978-3-031-20917-8 $2 doi
035 $a 978-3-031-20917-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25
072 7 $a GPJ $2 bicssc
072 7 $a URY $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 2022
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Provable and practical security $h [electronic resource] : $b 16th International Conference, ProvSec 2022, Nanjing, China, November 11-12, 2022 : proceedings / $c edited by Chunpeng Ge, Fuchun Guo.
246 3 $a ProvSec 2022
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2022.
300 $a ix, 291 p. : $b ill. (some color), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13600
505 0 $a Encryption -- A Generic Construction of CCA-secure Attribute-based Encryption with Equality Test -- Secure-Channel Free Certificateless Searchable Public key Authenticated Encryption with Keyword Search -- More Efficient Verifiable Functional Encryption -- Subverting Deniability -- Epoch Confidentiality in Updatable Encryption -- Lattice Based Cryptography -- Simplified Server-Aided Revocable Identity-Based Encryption from Lattices -- Lattice-based Public Key Cryptosystems invoking Linear Mapping Mask -- Batched Fully Dynamic Multi-key FHE from FHEW-like Cryptosystems -- Zero-knowledge Range Arguments for Signed Fractional Numbers from Lattices -- Information Security -- Fast Out-of-band Data Integrity Monitor to Mitigate Memory Corruption Attacks -- Construction of a New UAV Management System based on UMIA Technology -- FP2-MIA: A Membership Inference Attack Free of Posterior Probability in Machine Unlearning -- Practical Federated Learning for Samples with Different IDs -- Blockchain -- Reinforcement-Mining: Protecting Reward in Selfish Mining -- FolketID: A Decentralized Blockchain-based NemID Alternative against DDosS Attacks -- Secure Collaboration between Consortiums in Permissioned Blockchains -- Foundations -- (Public) Verifiability For Composable Protocols Without Adaptivity Or Zero-Knowledge -- Practical Non-Malleable Codes from Symmetric-key Primitives in 2-Split-State Model -- Cryptographic Role-Based Access Control, Reconsidered.
520 $a This book constitutes the refereed proceedings of the 16th International Conference on Provable Security, ProvSec 2022, held in Nanjing, China, in November 11-12,2022. The 15 full papers and 4 short papers were presented carefully reviewed and selected from 52 submissions. The papers focus on provable security as an essential tool for analyzing security of modern cryptographic primitives. They are divided in the following topical sections: Encryption; Lattice Based Cryptography; Information Security; Blockchain; and Foundations.
650 0 $a Computer security $v Congresses. $3 383239
650 0 $a Data encryption (Computer science) $3 184520
700 1 $a Ge, Chunpeng. $3 938985
700 1 $a Guo, Fuchun. $3 818743
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-20917-8
950 $a Computer Science (SpringerNature-11645)