基于非交互式零知識(shí)證明的匿名簽名方案的研究.pdf

1、本文對(duì)非交互式零知識(shí)證明(NIZK)理論進(jìn)行了深入研究，針對(duì)實(shí)際應(yīng)用中的匿名需求以及當(dāng)前多數(shù)匿名簽名的通信代價(jià)和計(jì)算代價(jià)較高，不支持離線狀態(tài)、不能抵抗選擇密文攻擊等問題，提出了將非交互式證明和簽名方案結(jié)合的思想，具體工作如下:
　　使用三素?cái)?shù)組合階雙線性群理論構(gòu)建了一個(gè)基于BMW模型的高效組簽名方案GSCOBG，并引進(jìn)了Groth-Sahai等人提出的NIZK證明理論，解決了傳統(tǒng)組簽名通信效率低、不能抵抗選擇密文攻擊等問題。方案中

2、簽名的大小是一個(gè)常量而非依賴于其他系統(tǒng)參數(shù)。同時(shí)給出了嚴(yán)格的安全性證明，并將GSCOBG方案與已有的典型方案分別在效率和安全性方面進(jìn)行了比較，結(jié)果表明該方案在這兩方面均具有優(yōu)勢(shì)。
　　利用GS證明系統(tǒng)的新特性，構(gòu)建了非交互式BB+簽名方案和非交互式CL+簽名方案，并對(duì)其安全性進(jìn)行了嚴(yán)格的形式化定義和證明，方案滿足匿名性（包括用戶匿名性和簽名者匿名性）、零知識(shí)性和不可偽造性，達(dá)到了以匿名方式進(jìn)行身份認(rèn)證的目的。非交互式簽名方案作為匿

3、名認(rèn)證方法的原型，具有較高的應(yīng)用價(jià)值，比如應(yīng)用在電子商務(wù)系統(tǒng)中的電子拍賣系統(tǒng)、電子投票系統(tǒng)、可信計(jì)算平臺(tái)等。本文將非交互式BB+簽名方案和非交互式CL+簽名方案應(yīng)用于匿名電子拍賣協(xié)議中，分別構(gòu)建了公開拍賣協(xié)議和封閉拍賣協(xié)議，與傳統(tǒng)的電子拍賣相比，該方案具有較強(qiáng)的匿名性、可追蹤性、非交互性，同時(shí)降低了通訊代價(jià)和存儲(chǔ)代價(jià)。
　　研究結(jié)果表明，將非交互式零知識(shí)證明理論應(yīng)用于簽名方案中有助于增強(qiáng)傳統(tǒng)簽名方案的安全性，同時(shí)可以減少通訊代價(jià)，