随着互联网技术的爆炸式发展,在线交易渐渐成为日常生活中越来越受重视的商品交换方式。确保参与者之间交易的公平性是保证电子支票,电子机票,电子合同签订等电子商务活动可靠进行的关键。公平性要求要么所有参与者都得到自己需要的商品,要么没有任一参与者可以得到。但是互联网的自身特点决定了在线交易的很难实现现实生活交易场景中的买方和卖方交易的同时性。解决在线交易公平性问题的一个简单方法是在在线交易的过程中引入可信第三方,当参与者希望进行交易活动的时候,所有参与者都将自己的商品交给可信第三方来分发。但是这样的解决方案要求每一次交易,不管交易成功或是失败,必须有可信第三方的参与,使得可信第三方的处理速度和带宽可能成为网络交易飞速发展的瓶颈。一个不需要在线可信第三方也可以保证公平的交易被称为乐观公平交易,在乐观公平交易协议的各种实现中,可验证加密签名渐渐成为乐观公平交易的重要组成部分。论文主要研究的是可验证加密签名新方案的设计,及其相关安全性分析,并讨论可验证加密签名方案设计的一般性思路和安全性问题证明的一般性方法。我们设计的新的可验证加密签名方案将这些设计思路应用到由Waters2009年提出的双系统设计框架里,设计出一个在标准模型下可证安全的可验证加密签名方案,并将安全性证明的一般性方法应用到该新方案,给出可靠的安全性证明。在可验证加密签名方案的安全性证明的研究中,我们深入分析Zhang等人提出的标准模型下可验证加密签名方案的安全性证明,通过和我们总结的通用的证明思路的比较,我们给出更好的安全性证明。论文的主要贡献和创新点：1.总结在一个普通签名方案基础上设计可验证加密签名方案的一般性思路。2.讨论可验证加密签名方案安全性,并总结可验证加密签名的不可伪造性和透明性证明的一般性方法。3.设计新的标准模型下可证安全的可验证加密签名。和以往的可验证加密签名方案相比,我们的新方案采用全新的双系统思路,在标准模型下使用更简单的公认的困难问题假设作为安全性的基础,并具备常量级的公共参数。据我们所知,我们的论文是第一个将双系统设计思路应用的可验证加密签名方案的设计中。按照双系统的思路,我们通过一些实验环境的不可区分性来将困难问题假设和方案的安全性联系在一起。4.我们分析现有的标准模型下安全的可验证加密签名方案,指出其在证明过程中的漏洞,并给出其方案正确的安全性证明。