随着信息技术和电子商务的飞速发展，电子现金凭借其匿名性、可分性等优势成为了理想的支付方式。对安全、高效和实用的电子现金支付技术的研究，是电子商务交易中亟待解决的关键问题之一，是电子支付系统发展的科学依据，具有重要的科研学术价值和广泛的应用前景。但是，现有电子现金协议在具体算法、所采用的密码体制、电子现金模型、安全性能和对协议的形式化分析等方面还存在不足之处。针对这些问题，本文的主要研究工作如下。首先，全面分析经典二叉树模型及其花费原则的缺点，构建了一类新的二叉树模型，并提出了一种新的花费原则。新的二叉树模型及其花费原则能够实现二叉树上的所有节点都能被花费，在相同取款的情况下提高了用户所能花费的电子现金总额，减少了银行在取款过程中的签名次数和存款过程中的运算量，保证了在此基础上提出的可分电子现金协议的高效性。在新的二叉树模型及其花费原则基础上，构建一种具有可分性的电子现金模型，作为协议设计参照的标准。提出了基于双线性对的CL签名，用于实现协议中的签名功能。提出了节点优化计算的方法，使得用户花费任意电子现金所做的计算量都相同，有效地提高了协议的效率。进而对设计的节点均可花费的高效可分电子现金协议的具体过程进行详细描述，分析得出协议能够很好地实现各种安全性，具有较高的效率。其次，基于新的二叉树模型及其花费原则，充分考虑电子现金的可传递性，构建了一种具有可传递性的离线可分电子现金模型，并提出了高效的具有可传递性的离线可分电子现金协议。可分技术实现二叉树上的所有节点都可花费，并能实现用户对商品的精确支付。可传递性的实现中，电子现金在传递过程中的信息量不会增加，提高了方案的效率。非形式化分析说明本协议满足电子现金的各种基本安全性质，并采用卿-周逻辑对协议的可追究性和公平性进行严格形式化分析证明，弥补了现有电子现金协议缺少形式化分析的缺憾。再次，基于新的二叉树模型及其花费原则，把单银行情况拓展到多银行情况，提出了一种多银行可分电子现金模型，基于此模型和无证书群签名思想构建了一种具有公平性的多银行可分电子现金协议。协议利用无证书群签名技术，能够有效地解决群成员动态加入和撤销的问题，保证安全性的同时能够降低通信成本和运算量，提高系统的效率和实用性。协议不仅具有很好的安全性，而且利用卿-周逻辑的形式化分析方法验证本方案满足可追究性和公平性。最后，把多银行可分电子现金协议应用到实际的电子商务交易中，设计和实现了一个秦皇岛港煤炭电子交易的原型系统。通过测试，该系统很好地实现了电子交易的基本功能，满足匿名性和不可伪造性等安全性质，在取款、支付和存款阶段都能够快速地处理完成。原型系统体现出安全、高效和实用的特征，推进了电子现金系统实际应用的步伐。