LEADER 06152nam 22008415 450 001 9910484835503321 005 20200703142211.0 010 $a3-319-12475-7 024 7 $a10.1007/978-3-319-12475-9 035 $a(CKB)3710000000269702 035 $a(SSID)ssj0001372759 035 $a(PQKBManifestationID)11798060 035 $a(PQKBTitleCode)TC0001372759 035 $a(PQKBWorkID)11323424 035 $a(PQKB)10551361 035 $a(DE-He213)978-3-319-12475-9 035 $a(MiAaPQ)EBC5592318 035 $a(MiAaPQ)EBC6306874 035 $a(Au-PeEL)EBL5592318 035 $a(OCoLC)893105174 035 $a(Au-PeEL)EBL6306874 035 $a(PPN)182097897 035 $a(EXLCZ)993710000000269702 100 $a20141001d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProvable Security $e8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings /$fedited by Sherman S.M. Chow, Joseph K. Liu, Lucas C.K. Hui, Siu Ming Yiu 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XVIII, 351 p. 41 illus.) 225 1 $aSecurity and Cryptology ;$v8782 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-12474-9 327 $aInvited Paper -- Password-Based Authenticated Key Exchange: An Overview -- Practical and Provably Secure Attribute Based Encryption -- Fundamental -- Adaptive versus Static Security in the UC Model -- Impossibility of Surjective Icart-Like Encodings -- Symmetric Key Encryption -- On the practical security bound of GF-NLFSR structure with SPN round function -- Misuse-Resistant Variants of the OMD Authenticated Encryption Mode -- A Block-Cipher-Based Hash Function Using an MMO-Type Double-Block Compression Function -- Authentication.-Forward-Secure Sequential Aggregate Message Authentication Revisited: Formalization and a Provably Secure Scheme -- A Provable Secure Batch Authentication Scheme for EPCGen2 Tags -- Signatures -- Generic Transformation to Strongly Existentially Unforgettable Signature Schemes with Leakage Resiliency -- Bounded Pre-Image Awareness and the Security of Hash-Tree Keyless Signatures -- Protocol -- Verifiable Computation in Multiparty Protocols with Honest Majority -- Public Key Encryption -- Lossy Trapdoor Relation and Its Application to Lossy Encryption and Adaptive Trapdoor Relation.-Compact Public Key Encryption with Minimum Ideal Property of Hash Functions -- Proxy Re-Encryption -- RCCA-Secure Multi-use Bidirectional Proxy Re-Encryption with Master Secret Security -- Fine-grained Conditional Proxy Re-encryption and Application -- Predicate Encryption -- Constructing Subspace Membership Encryption through Inner Product Encryption -- Efficient (Anonymous) Compact HIBE From Standard Assumptions -- Attribute-based Cryptosystem -- Computationally Efficient Ciphertext-Policy Attribute-Based Encryption with Constant-Size Ciphertexts -- Attribute-Based Signcryption : Signer Privacy, Strong Unforgetability and IND-CCA2 Security in Adaptive-Predicates Attack -- Short Papers -- How to Use Pseudorandom Generators in Unconditional Security Settings -- Equivalence between MAC and PRF for Blockcipher based Constructions -- A Short Fail-Stop Signature Scheme from Factoring -- Computational Soundness of Asymmetric Bilinear Pairing-based Protocols -- Timed-Release Computational Secret Sharing Scheme and Its Applications -- Deniable Version of SIGMA Key Exchange Protocol Resilient to Ephemeral Key Leakage -- Complete Robustness in Identity-Based Encryption. 330 $aThis book constitutes the refereed proceedings of the 8th International Conference on Provable Security, ProvSec 2012, held in Chengdu, China, in September 2012. The 20 full papers and 7 short papers presented together with 2 invited talks were carefully reviewed and selected from 68 submissions. The papers are grouped in topical sections on fundamental, symmetric key encryption, authentication, signatures, protocol, public key encryption, proxy re-encryption, predicate encryption, and attribute-based cryptosystem. 410 0$aSecurity and Cryptology ;$v8782 606 $aData encryption (Computer science) 606 $aComputer security 606 $aComputers and civilization 606 $aApplication software 606 $aManagement information systems 606 $aComputer science 606 $aCryptology$3https://scigraph.springernature.com/ontologies/product-market-codes/I28020 606 $aSystems and Data Security$3https://scigraph.springernature.com/ontologies/product-market-codes/I28060 606 $aComputers and Society$3https://scigraph.springernature.com/ontologies/product-market-codes/I24040 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 606 $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067 615 0$aData encryption (Computer science). 615 0$aComputer security. 615 0$aComputers and civilization. 615 0$aApplication software. 615 0$aManagement information systems. 615 0$aComputer science. 615 14$aCryptology. 615 24$aSystems and Data Security. 615 24$aComputers and Society. 615 24$aComputer Appl. in Administrative Data Processing. 615 24$aManagement of Computing and Information Systems. 676 $a005.82 702 $aChow$b Sherman S.M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Joseph K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHui$b Lucas C.K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYiu$b Siu Ming$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484835503321 996 $aProvable Security$9772128 997 $aUNINA