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

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

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

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