Del 8782 - Lecture Notes in Computer Science

Provable Security

8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings

Häftad, Engelska, 2014

AvSherman S.M. Chow,Joseph K. Liu,Lucas C.K. Hui,Siu Ming Yiu,Sherman S. M. Chow,Lucas C. K. Hui

689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Produktinformation

Utgivningsdatum2014-10-08
Mått155 x 235 x 21 mm
Vikt563 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor351
FörlagSpringer International Publishing AG
ISBN9783319124742

Tillhör följande kategorier

Informationsteknik: allmänt inom Data och IT
Människa – datorinteraktion inom Data och IT
IT-säkerhet inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik
Affärsförhandlingar inom Ekonomi och Ledarskap
Nätverk och kommunikation inom Data och IT
Tillämpad datateknik inom Data och IT

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