Cryptology ePrint Archive: Report 2006/241

A Stronger Definition for Anonymous Electronic Cash

Marten Trolin

Abstract: We investigate definitions of security for previously proposed schemes for electronic cash and strengthen them so that the bank does need to be trusted to the same extent. We give an experiment-based definition for our stronger notion and show that they imply security in the framework for Universal Composability. Finally we propose a scheme secure under our definition in the common reference string (CRS) model under the assumption that trapdoor permutations exist. As a tool we define and prove the existence of simulation-sound non-interactive zero-knowledge proofs (NIZK-PK) in the CRS-model under the assumption that a family of trapdoor permutations exists.

Category / Keywords: cryptographic protocols / electronic cash

Date: received 13 Jul 2006, last revised 18 Aug 2006

Contact author: marten at nada kth se

Available format(s): Postscript (PS) | Compressed Postscript (PS.GZ) | PDF | BibTeX Citation

Version: 20060818:110343 (All versions of this report)

Short URL: ia.cr/2006/241

Discussion forum: Show discussion | Start new discussion