【70501033】基于离线可信第三方的电子现金公平交易系统理论与方法研究国家自然基金项目

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

项目批准号： 70501033

批准年份： 2005

学科分类： G0112.信息系统与管理

项目负责人：王茜

资助类别：青年科学基金项目

负责人职称：教授

依托单位：中山大学

资助金额： 17万元

关键词：电子现金;公平交易;形式化验证

起止时间： 2006-01-01到2008-12-31

查看更多信息请先登录或注册

序号	标题	类型
1	验证电子商务协议的新逻辑分析方法	期刊论文
2	电子商务交易协议理论与验证方法	专著
3	Recent Advances in Research of the k-Spendable Electronic Cash	会议论文
4	The Research on Properties of Electronic Commerce transactions Protocol.	会议论文
5	The Model of Anonymous Fair e-Cash Transactions Protocolwith Off-line TTP	会议论文

查看更多信息请先登录或注册

再问科研