具有保持結(jié)構性高效盲簽名的研究與實現(xiàn).pdf

1、保持結(jié)構性(Structure-Preserving，SP)簽名與Groth-Sahai非交互式證明系統(tǒng)（簡稱GS證明系統(tǒng)）的結(jié)合，在密碼學協(xié)議的模塊化設計中有十分重要的作用，尤其在保護隱私的匿名性協(xié)議中更是最佳的選擇之一。盡管SP簽名十分有效，但是否存在最佳的簽名大小以及是否存在更有效的方案仍是一個開放性問題，論文針對該問題對SP簽名的復雜度優(yōu)化進行了研究?；诜墙换ナ搅阒R證明的盲簽名方案能夠更好地保護簽名的隱私性，但目前仍缺少高效

2、安全的可實現(xiàn)方案，論文利用優(yōu)化的SP簽名方案，構建了一個高效安全的SP盲簽名方案。本文的主要工作和成果如下:
　　(1)對非對稱雙線性群中SP簽名的復雜度進行了研究與優(yōu)化，提出了安全SP簽名的復雜度下界，并證明了SP簽名的下界必須至少由兩個配對乘積等式來驗證簽名，且簽名至少要由兩個群中的三個群元素組成。在此研究基礎上，構建了一個符合復雜度下界的SP簽名方案，并形式化證明了該方案對于適應性選擇消息攻擊是強存在性不可偽造的。
　

3、　(2)將構建的SP簽名方案與在公共參考串模型下的盲簽名方案結(jié)合，利用GS證明系統(tǒng)的SXDH(Symmetric External Diffie-Hellman)實例設計出基于SP簽名的盲簽名方案(Structure-Preserving Blind Signature，SPBS)，該方案不僅與GS證明系統(tǒng)完美兼容，而且滿足對SP簽名復雜度下界的要求。然后本文對提出的方案在標準模型下進行了安全性證明，證明了該方案滿足盲簽名的基本安全需求

4、，即盲化性和不可偽造性。在性能方面，與傳統(tǒng)的盲簽名方案相比，提出的方案不僅具有兩輪最低通信交互代價，而且具有無需去盲化的優(yōu)點。
　　(3)論文使用了Stanford University提供的PBC(Pairing-Based Cryptography)庫設計與實現(xiàn)了文中提出的SPBS原型系統(tǒng)，系統(tǒng)由用戶、簽名者、驗證者三方組成，首先給出了實體類的設計，包括user、signer、verifier類以及各自的成員屬性和方法;其次給