分叉引理对一般基于身份环签名体制的证明

Proof of Generic ID-based Ring Signature by Forking Lemma

利用分叉引理对签名体制进行证明,是进行签名体制安全性证明的一种重要方法。Pointcheval和Stern首次给出了签名体制安全性证明的一些分叉引理,Herranz在随机预言机模型下证明了环签名的分叉引理,文中首先分析了一般的基于身份的环签名机制,提出分叉引理对一般基于身份的环签名体制的安全性方案证明,并证明一般的基于身份的环签名体制在随机预言机模型下的安全性。

Using forking lemma to prove signature scheme is an important method to prove the security of signature schemes. Pointcheval and Stern for the first time give some forking lemmas for proving the security of digital signature schemes. Herranz has proposed a ring signature forking lemma in random oracle model in 2003. In this paper, the generic ID-based ring signature schemes （GIDRS） are analyzed first, the proof of security for generic ID-based ring signature system by GIDRS forking lemma is proposed, and the security arguments for generic ID-based ring signature schemes in the random oracle are also presented.