文摘
英文文摘
图表目录
第一章 绪论
1.1选题背景及意义
1.2 研究内容
1.3 研究框架
第二章 文献综述
2.1 电子现金公甲件研究
2.2 电子现金匿名性研究
2.3 电子商务交易协议形式化验证方法的研究进展
第三章 基于离线半可信第二方的公平交易方案
3.1 ElGamal型的数字签名方案
3.2 公开可验证秘密分享机制
3.3 基于离线半可信第三方的公平交易方案
3.4 方案分析与证明
第四章 基于离线半可信第三方的电子现金公平交易协议
4.1 Brands受限盲签名
4.2 基于离线半可信第三方的电子现金公平交易协议
4.3 协议分析与证明
第五章 基于SVO逻辑的交易协议形式化验证
5.1 SVO逻辑
5.2 基于SVO逻辑的电予商务形式化验证方法
5.3 基于离线半可信第三方的电子现金公平交易协议验证
第六章 结论与展望
6.1 本文完成的主要工作
6.2 研究局限及下一步研究方向
参考文献
后记