数字签名的一个公平交换协议.docVIP

数字签名的一个公平交换协议 　　摘 要：给出了一个应用G.Ateniese的可验证加密的公平交换协议，即构成了在因特网上公平交换数字签名的双方之间的一个协议。通过该协议，一方对消息的有效签名进行加密，并随后向另一方证明他得到的密文确实包含该签名,其安全性基于离散对数问题。 　　 　　关键词：数字签名； 可验证加密； 公平交换; 安全性; 单一性 　　中图分类号：TN915-34文献标识码：A 文章编号：1004-373X(2011)21-0119-03 　　 　　Fair Exchange Protocol of Digital Signature 　　 　　YAN Ya-jun1,2 　　(1.School of Electronic Engineering, Xi’an University of Posts and Telecommunications, Xi’an 710061, China; 2.Xidian University, Xi’an 710071, China) 　　 　　Abstract： A fair exchange protocol by means of G. Ateniese′s verifiable encryption of digital signatures is introduced. Two parties exchanged digital signatures fairly over Internet using the protocol. In the protocol, one part encrypted the valid signature on message, and then proved to the others that the encryption contained the signature. Its security is based on the discrete logarithm problem. 　　 　　Keywords： digital signature; verifiable encryption; fair exchange; security; singleness 　　 　　 　　收稿日期：2011-05-10 　　基金项目：西安邮电学院中青年科研基金资助项目(ZL2008-14)；陕西省教育厅自然专项科研基金项目(2010JK815) 　　0 引 言 　　可验证加密即示证者与验证者之间的双方协议。这一概念是由M.Stadler在Eurocrypt′96上提出的［1］。在该协议中，示证者声称给予验证者对于某公共值的有效签名的加密。该协议确保验证者接受有效签名的加密；而且，验证者除了得到该签名的加密并确认其有效性之外，得不到其他信息。 　　可验证加密方案可以用于许多密码协议。例如可取消匿名的数字支付系统，可验证签名共享，可验证秘密共享，托管方案以及签名的公平交换等。N.Asokan，V.Shoup和M.Waidner以及Bao等人已将其用于数字签名的公平交换［2-3］,随后Camenisch和Damgard也提出了改进方案［4］。 　　随着网络的广泛普及与使用，通过网络处理的交易也在不断的增加，公平交换问题就显得尤为重要。比如甲方欲给乙方电子支票以换取电子机票，问题就出现了：如何使得甲乙双方进行交换，从而二人或是各得其所，或是都得不到。这里的电子支票和电子机票都可以用数字签名来实现。实际上，通过网络交换的许许多多东西都可以实现为数字签名。 　　目前已经出现不少方案以解决公平交换问题［5-8］，然而它们基于公平的不同定义。文献［9］中提出了“最优”的方法。这一方法依赖于可信赖的第三方的存在，这个第三方仅仅在特别情况下才被调用。只要参与协议的双方均遵守交换协议，就不需要第三方的介入；但是如果某一方不遵守协议，则可信赖的第三方能够很容易恢复公平。这一方法使得普通的公平交换协议非常有效。本文所讨论的公平交换正是基于这一定义。 　　1 可验证加密 　　G.Ateniese在文献［10］中提出了有效的可验证加密。假设Alice和Bob对于公共的消息??m??达成一致，另有可信赖的第三方T。Alice产生对??m的签名s并对s??进行T-可验证的加密??c(s)??，然后把结果送给Bob。这种加密能够被验证包含??s??，而这种验证确保T有权从????c(s)中恢复s，同时不会泄露给他人关于s本身的有用信息。其中的加密函数c??(#8226;)通过ElGamal加密方案来实现。下面就是对Nyberg-Rueppel签名的可验证加密。?? 　　假设p，q为大素数，且q|(p-1)，g∈Z?唱?p