基于离线可信第三方的电子现金公平交易系统理论与方法研究

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