Short and provably secure designated verifier proxy signature scheme
Xiaoming Hu, Wenan Tan, Huajie Xu, Jian Wang · IET Information Security · 2015
A designated verifier proxy signature (DVPS), where only a designated verifier can verify the validity of a proxy signed message, is suitable for being applied in many scenarios. Many DVPS schemes have been proposed, but most of these schemes only provide informal proofs of security or incomplete formal proofs of security with limited power attackers (a weak security model), which make these schemes vulnerable to some attacks. To the best of their knowledge, none of the existing DVPS schemes provides a complete notion of security for DVPS. In this study, the authors first classify DVPS into weak DVPS (WDVPS) and strong DVPS (SDVPS). They then give a systematic analysis of the security requirements for WDVPS (SDVPS) and they present complete notions of security for WDVPS and SDVPS. They also propose WDVPS and SDVPS schemes, which are both provably secure, that is, satisfying their new notions of security in the random oracle model. Compared with other DVPS schemes (including WDVPS and SDVPS schemes), their schemes have more complete security and they are more efficient.