面向参与主体交易行为的电子现金公平交易协议理论与方法研究

项目名称： 面向参与主体交易行为的电子现金公平交易协议理论与方法研究

项目编号： No.70971141

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 管理科学

项目作者： 王茜

作者单位： 中山大学

项目金额： 25万元

中文摘要： 本项目在申请者前期有关电子现金公平交易理论研究的基础上，针对电子现金理论向实用化推进过程中的瓶颈问题，进一步弱化协议信任的强假设条件，充分考虑参与主体交易行为特征，从理论和方法两个侧面，围绕电子现金公平交易协议模型、算法、验证方法以及自动化验证工具展开深入的探索性研究。本项目拟通过对进程演算建模方法的改进，构建面向参与主体的电子现金公平交易协议模型；在此基础上，重点改进同时生效验证算法，提出无信任支撑环境下的电子现金公平交易协议；并基于串空间理论，提出新的交易协议形式化验证方法和自动化的验证工具。本研究在理论上，可为满足电子现金进一步实用化的迫切需求提供理论和方法支持，对于丰富和发展电子现金理论具有学术价值；在实践上，可为虚拟平台的电子货币交易以及电子现金支付系统研发提供原型支撑与理论工具，具有一定的应用价值。以期为推动我国电子现金的普及应用，提高电子支付的实用化水平做出贡献。

中文关键词： 参与主体；电子现金；交易协议；匿名性；

英文摘要：

英文关键词： Participant；E-cash；Transaction protocol；Anonymity；