Skip to main content
SpringerLink
Log in
Book cover

Provable Security

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Josef Pieprzyk

    1. Department of Computing, Macquarie University, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Fangguo Zhang

    1. School of Information Science and Technology, Sun Yat-Sen University, Guangzhou, P.R.China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5848)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: ProvSec 2009.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. A Brief History of Security Models for Confidentiality

      • Alexander W. Dent
      Pages 1-1

    2. Symbolic Methods for Provable Security

      • Bogdan Warinschi
      Pages 2-2

  3. Encryption

    1. Efficient Non-interactive Universally Composable String-Commitment Schemes

      • Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka
      Pages 3-18

    2. Spatial Encryption under Simpler Assumption

      • Muxin Zhou, Zhenfu Cao
      Pages 19-31

    3. Chosen-Ciphertext Secure RSA-Type Cryptosystems

      • Benoît Chevallier-Mames, Marc Joye
      Pages 32-46

    4. Anonymous Conditional Proxy Re-encryption without Random Oracle

      • Liming Fang, Willy Susilo, Jiandong Wang
      Pages 47-60

    5. Breaking and Fixing of an Identity Based Multi-Signcryption Scheme

      • S. Sharmila Deva Selvi, S. Sree Vivek, C. Pandu Rangan
      Pages 61-75

  4. Digital Signatures

    1. Identity-Based Verifiably Encrypted Signatures without Random Oracles

      • Lei Zhang, Qianhong Wu, Bo Qin
      Pages 76-89

    2. How to Prove Security of a Signature with a Tighter Security Reduction

      • Fuchun Guo, Yi Mu, Willy Susilo
      Pages 90-103

    3. Twin Signature Schemes, Revisited

      • Sven Schäge
      Pages 104-117

    4. On the Insecurity of the Fiat-Shamir Signatures with Iterative Hash Functions

      • Eiichiro Fujisaki, Ryo Nishimaki, Keisuke Tanaka
      Pages 118-128

    5. Is the Notion of Divisible On-Line/Off-Line Signatures Stronger than On-Line/Off-Line Signatures?

      • Man Ho Au, Willy Susilo, Yi Mu
      Pages 129-139

    6. Anonymous Signatures Revisited

      • Vishal Saraswat, Aaram Yun
      Pages 140-153

  5. Cryptographic Protocols

    1. An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles

      • Daisuke Moriyama, Tatsuaki Okamoto
      Pages 154-167

    2. Password Authenticated Key Exchange Based on RSA in the Three-Party Settings

      • E. Dongna, Qingfeng Cheng, Chuangui Ma
      Pages 168-182

    3. Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols

      • Berkant Ustaoglu
      Pages 183-197

    4. Zero-Knowledge Protocols for NTRU: Application to Identification and Proof of Plaintext Knowledge

      • Keita Xagawa, Keisuke Tanaka
      Pages 198-213

    5. Server-Controlled Identity-Based Authenticated Key Exchange

      • Hua Guo, Yi Mu, Xiyong Zhang, Zhoujun Li
      Pages 214-229

  6. Reductions and Privacy

    1. Oracle Separation in the Non-uniform Model

      • Ahto Buldas, Sven Laur, Margus Niitsoo
      Pages 230-244
Back to top

Other volumes

  1. Provable Security

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers and two invited talks presented were carefully reviewed and selected from 64 submissions. The papers are organized in topical sections on encryption, digital signature, cryptographic protocols and reduction and privacy.

Editors and Affiliations

  • Department of Computing, Macquarie University, Sydney, Australia

    Josef Pieprzyk

  • School of Information Science and Technology, Sun Yat-Sen University, Guangzhou, P.R.China

    Fangguo Zhang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation