Provable Security: Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings

Front Matter....Pages -
A Brief History of Security Models for Confidentiality....Pages 1-1
Symbolic Methods for Provable Security....Pages 2-2
Efficient Non-interactive Universally Composable String-Commitment Schemes....Pages 3-18
Spatial Encryption under Simpler Assumption....Pages 19-31
Chosen-Ciphertext Secure RSA-Type Cryptosystems....Pages 32-46
Anonymous Conditional Proxy Re-encryption without Random Oracle....Pages 47-60
Breaking and Fixing of an Identity Based Multi-Signcryption Scheme....Pages 61-75
Identity-Based Verifiably Encrypted Signatures without Random Oracles....Pages 76-89
How to Prove Security of a Signature with a Tighter Security Reduction....Pages 90-103
Twin Signature Schemes, Revisited....Pages 104-117
On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions....Pages 118-128
Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?....Pages 129-139
Anonymous Signatures Revisited....Pages 140-153
An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles....Pages 154-167
Password Authenticated Key Exchange Based on RSA in the Three-Party Settings....Pages 168-182
Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols....Pages 183-197
Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge....Pages 198-213
Server-Controlled Identity-Based Authenticated Key Exchange....Pages 214-229
Oracle Separation in the Non-uniform Model....Pages 230-244
GUC-Secure Set-Intersection Computation....Pages 245-259
Self-enforcing Private Inference Control....Pages 260-274
Back Matter....Pages -