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

批准号：

70501033

项目类别：

青年科学基金项目

资助金额：

16.6 万元

负责人：

王茜

依托单位：

中山大学

学科分类：

信息系统与管理

结题年份：

2008

批准年份：

2005

项目状态：

已结题

项目参与者：

任江涛、迟嘉昱、黄林军、王克明、戴欣、庞家峰

关键词：

电子现金公平交易形式化验证

项目摘要

结项摘要

项目成果

王茜的其他基金

相似基金

相关文献

中文摘要

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

英文摘要

期刊论文列表

专著列表

科研奖励列表

会议论文列表

专利列表

验证电子商务协议的新逻辑分析方法