在新经济时代的浪潮下,以网上商品购销为核心内容的电子商务迅速发展起来,而电子支付是电子商务交易过程中的重要环节,为电子商务发展提供了必要的支持和保障。目前,基于电子现金的支付方式因其极好的安全性、匿名性和可靠性,越来越受到人们青睐。电子现金被看作是通过互联网流通的现实货币的电子或数字模拟,是纸质现金的电子等价物,理论上保留了实物现金的基本属性,又实现了保护支付者和接收方个人隐私的功能,是一种不可替代的小额电子支付方式。本文针对电子现金公平交易协议中可信第三方信任强假设条件,以保护交易双方利益为出发点,采用数字签名、公开可验证秘密分享、离散对数知识证明、受限盲签名等技术,围绕基于离线半可信第三方的电子现金公平交易协议展开研究,研究主要内容如下:　　 1.本文对有关电子现金公平性与匿名性的研究文献进行梳理,并对电子商务形式化验证方法研究进行分析,发现目前研究中存在的一些问题。　　 2.本文针对电子现金公平交易研究中可信第三方信任强假设条件,借鉴基于角色的访问控制思想,基于公开可验证秘密分亨机制和IVSP交互确认协议,弱化协议假设基础,构建基于离线半可信第三方的公平交易方案。该方案可有效解决可信第三方的滥用权力及与任意交易方合谋的问题,并可以有效消除由于交易方不诚实对协议公平性造成的影响。　　 3.在基于离线半可信第三方的公平交易方案的基础上,本文采用Brands受限盲签名方案,提出可撤销匿名的基于离线半可信第三方的电子现金公平交易协议。该协议在满足公平性的同时,也满足交易协议的可撤销匿名性,可有效揭露非法消费者身份,防止、打击洗黑钱、勒索等非法犯罪行为。　　 4.本文利用基于SVO逻辑的电子商务形式化验证方法,对本文设计的基于离线半可信第三方的电子现金公平交易协议进行了分析,验证了交易协议的公平性和不可否认性。　　 最后,本文进行研究成果的总结,并指出下一步的研究方向。