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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Chow, Sherman S.M (Editor ), Liu, Joseph K. (Editor ), Hui, Lucas C.K (Editor ), Yiu, Siu Ming (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Colección:Security and Cryptology ; 8782
Temas:
Cryptography.
Data encryption (Computer science).
Data protection.
Computers and civilization.
Information technology-Management.
Electronic data processing-Management.
Cryptology.
Data and Information Security.
Computers and Society.
Computer Application in Administrative Data Processing.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares