Provable Security: 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

Front Matter....Pages -
Tools over Bilinear Groups for Modular Design of Cryptographic Tasks....Pages 1-1
One-Move Convertible Nominative Signature in the Standard Model....Pages 2-20
Efficient and Random Oracle-Free Conditionally Anonymous Ring Signature....Pages 21-34
ID Based Signcryption Scheme in Standard Model....Pages 35-52
Combined Public-Key Schemes: The Case of ABE and ABS....Pages 53-69
Several Weak Bit-Commitments Using Seal-Once Tamper-Evident Devices....Pages 70-87
Deterministic Random Oracles....Pages 88-103
On the (Non-)Equivalence of UC Security Notions....Pages 104-124
LR-UESDE: A Continual-Leakage Resilient Encryption with Unbounded Extensible Set Delegation....Pages 125-142
Anonymous Identity-Based Hash Proof System and Its Applications....Pages 143-160
Efficient Escrow-Free Identity-Based Signature....Pages 161-174
Perfect Keyword Privacy in PEKS Systems....Pages 175-192
Efficient Fully Secure Attribute-Based Encryption Schemes for General Access Structures....Pages 193-214
Symmetric Inner-Product Predicate Encryption Based on Three Groups....Pages 215-234
Secure Keyword Search Using Bloom Filter with Specified Character Positions....Pages 235-252
Fully Secure Doubly-Spatial Encryption under Simple Assumptions....Pages 253-263
Strongly Authenticated Key Exchange Protocol from Bilinear Groups without Random Oracles....Pages 264-275
Authenticated Key Exchange with Entities from Different Settings and Varied Groups....Pages 276-287
On Capabilities of Hash Domain Extenders to Preserve Enhanced Security Properties....Pages 288-299
Revisiting a Secret Sharing Approach to Network Codes....Pages 300-317
Codes Based Tracing and Revoking Scheme with Constant Ciphertext....Pages 318-335
Back Matter....Pages -