Cargando…

Provable Security First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007. Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Susilo, Willy (Editor ), Liu, Joseph K. (Editor ), Mu, Yi (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Security and Cryptology ; 4784
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Authentication
  • Stronger Security of Authenticated Key Exchange
  • An Hybrid Approach for Efficient Multicast Stream Authentication over Unsecured Channels
  • Asymmetric Encryption
  • CCA2-Secure Threshold Broadcast Encryption with Shorter Ciphertexts
  • Construction of a Hybrid HIBE Protocol Secure Against Adaptive Attacks
  • Signature
  • A CDH-Based Strongly Unforgeable Signature Without Collision Resistant Hash Function
  • Two Notes on the Security of Certificateless Signatures
  • A Provably Secure Ring Signature Scheme in Certificateless Cryptography
  • Protocol and Proving Technique
  • Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use
  • Does Secure Time-Stamping Imply Collision-Free Hash Functions?
  • Formal Proof of Provable Security by Game-Playing in a Proof Assistant
  • Authentication and Symmetric Encryption (Short Papers)
  • Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication
  • An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security
  • On the Notions of PRP-RKA, KR and KR-RKA for Block Ciphers
  • Signature (Short Papers)
  • Practical Threshold Signatures Without Random Oracles
  • Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature
  • Asymmetric Encryption (Short Papers)
  • Formal Security Treatments for Signatures from Identity-Based Encryption
  • Decryptable Searchable Encryption.