[發明專利]一種模糊性可明確廢除的并發簽名方法

無效

• 申請號: 200910219124.8
• 申請日: 2009-11-24
• 公開（公告）號: CN101729258A
• 公開（公告）日: 2010-06-09
• 發明（設計）人: 李保紅;牛慧芳;趙銀亮;鄭坤
• 申請（專利權）人: 西安交通大學
• 主分類號: H04L9/32
• 分類號: H04L9/32;H04L9/14
• 代理公司: 西安通大專利代理有限責任公司 61200
• 代理人: 陸萬壽

1.一種模糊性可明確廢除的并發簽名方法，其特征在于，初始簽名者P_i和匹配簽名者P_j之間，針對信息m_i和m_j的數字簽名交換包括以下步驟：

1)P_i選擇某個信息k作為keystone，并計算keystone印記f＝KGEN(k，m_i，m_j)，然后產生針對信息m_i的模糊簽名σ_i＝<L_i，U_i，f>＝ASIGN(y_i，x_i，y_j，m_i，f)，并將σ_i發送給P_j；其中y_i、y_j分別為P_i、P_j的公鑰，而x_i為P_i的私鑰；

2)收到σ_i之后，P_j首先驗證AVERIFY(σ_i，m_i)＝1，在成立的情況下P_j產生針對信息m_j的模糊簽名σ_j＝<L_j，U_j，f>＝ASIGN(y_j，x_j，y_i，m_j，f)，并將σ_j發送給P_i，其中x_j為P_j的私鑰；

若AVERIFY(σ_i，m_i)＝1不成立則退出協議或者等待P_i再次發送σ_i；

3)收到σ_j之后，P_i確定σ_j是否包含與σ_i相同的f，并驗證AVERIFY(σ_j，m_j)＝1，在均成立的情況下P_i向P_j發送keystone?k；

若AVERIFY(σ_i，m_i)＝1不成立則退出協議或者等待P_j再次發送σ_j；

4)P_i根據JUDGE(y_j，σ_j，k，m_i，m_j)＝1確定簽名者P_j的身份；

P_j根據JUDGE(y_i，σ_i，k，m_i，m_j)＝1確定簽名者P_i的身份；

上述步驟涉及的參數是由參數設置算法SETUP建立，該算法是一個輸入是安全參數λ的概率算法，輸出包括：參與者集合?信息空間?簽名空間?keystone空間?keystone印記空間?每個參與者P_i的公鑰y_i和私鑰x_i，以及系統參數δ；其中參與者集合?N與λ呈多項式關系，keystone印記空間?的產生函數為?

而?信息m_i、?當參與者為P_i和P_j時，其公鑰分別為y_i和y_j，其私鑰分別為x_i和x_j；

在上述步驟中涉及的算法為：

簽名算法ASIGN是一個概率算法，其輸入為<y_i，x_i，y_j，m，f>，而輸出是信息?的模糊簽名σ＝<L，U，f>；其中L＝{y_i，y_j}或{y_j，y_i}，是參與者P_i、P_j的公鑰列表，x_i為簽名者P_i的私鑰，而?

驗證簽名算法AVERIFY是一個確定性算法，輸入為<σ，m>，其中σ＝<L，U，f>，?輸出為1或0，1表示簽名有效的，0表示簽名無效；

確定簽名者身份算法JUDGE是一個確定性算法JUDGE，輸入為<y_i，σ，k，m_i，m_j>，其中?σ＝<L，U，f>，y_i∈L，并滿足f＝KGEN(k，m_i，m_j)及AVERIFY(σ，m)＝1；輸出為1或0，1表示簽名σ是由擁有公鑰y_i的參與者所產生，而0則表示不是。