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

  • Authors:
  • Fuchun Guo;Yi Mu;Willy Susilo

  • Affiliations:
  • Centre for Computer and Information Security Research School of Computer Science and Software Engineering, University of Wollongong, Wollongong, Australia NSW2522;Centre for Computer and Information Security Research School of Computer Science and Software Engineering, University of Wollongong, Wollongong, Australia NSW2522;Centre for Computer and Information Security Research School of Computer Science and Software Engineering, University of Wollongong, Wollongong, Australia NSW2522

  • Venue:
  • ProvSec '09 Proceedings of the 3rd International Conference on Provable Security
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

It is a challenging task to construct a signature that it can be tightly reduced to a weak security assumption in the standard model. In this paper, we introduce a simple chameleon-hash-based transformation and show that it can tighten a security reduction of a signature scheme that suffers from a loose security reduction. Taking the Waters' signature from Eurocrypt 2005 as an example, we demonstrate an improvement of the security reduction that the probability of success in the security reduction can be made as a constant and independent of the signature queries from an adversary. Our reduction methodology has never been considered in the literature and is applicable to many signature schemes such as identity-based signature schemes, online/offline signatures, and signatures with strong unforeability.