对一个数字签名方案安全性证明的注记  

Notes onsecurity proof of digital signature scheme

作　　者：齐亚平[1] 刘文化[2] 禹勇[3] 

机构地区：[1]西安航空技术高等专科学校计算机系,西安710077 [2]济源职业技术学校计算机系,河南济源454650 [3]西安电子科技大学ISN国家重点实验室,西安710071

出　　处：《计算机工程与应用》2007年第24期123-124,151,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60372046)

摘　　要：研究了Willy,Zhang和Yi等学者提出的基于身份的强指定验证者签名方案(简记为WZY方案)的安全性证明,发现在他们的安全性证明中存在漏洞:在证明签名方案的不可伪造性时,敌手拥有指定验证者的私钥。在一个简单的假设下:假设对于一个有效的输入,Hash函数的输出是随机的,并且敌手事先知道这个输入,重新证明了WZY方案的不可伪造性依赖于双线性Diffie-Hellman问题,从而完善了WZY方案的安全性证明。Recently,Willy,Zhang and Yi proposed an identity-based strong designated verifier signature scheme（noted as WZY scheme） and gave the security proof of the scheme.Unfortunately,We find that their security proof is improper：in the proof of the unforgeability of the scheme,they supposed that the adversary has the secret key of the designated verifier.Under a simple assumption that the hash function is considered as an oracle that on each valid input known to the adversary beforehand produces a random value,a new proof that the unforgeability of WZY scheme relies on the Bilinear Diffie-Hellman Problem is given.

关 键 词：数字签名强指定验证者签名双线性对 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]