电子现金已经成为全球范围内具有前瞻性的研究课题。本项目针对电子现金公平交易研究中的瓶颈问题,从理论和方法两个侧面对电子现金公平交易系统展开探索性的研究。本项目拟从保护交易双方利益的角度出发,充分考虑信道的可靠性和交易实体的诚实情况,采用可信第三方离线的方式,构建电子现金公平交易协议模型;并在此基础上,重点改进传统的协议算法,给出离线可信第三方的电子现金公平交易协议模型实现方案;同时,根据电子现金公平交易特点,引入协议的动态性概念,提出更加符合公平交易协议运行的特征、严密的新形式化验证方法。上述研究工作的意义在于它不仅对于电子现金公平交易理论研究具有学术价值,而且对于提高我国电子支付技术的实用化水平具有现实意义。