| 1 绪论 | 第1-29页 |
| ·引言 | 第11-15页 |
| ·e-Cash交易协议研究进展 | 第15-24页 |
| ·e-Cash交易协议的原子性 | 第15-20页 |
| ·e-Cash交易协议的匿名性 | 第20-22页 |
| ·交易协议模型 | 第22-24页 |
| ·电子商务交易协议验证方法的研究与进展 | 第24-26页 |
| ·论文的主要研究工作 | 第26-29页 |
| 2 e-Cash交易协议属性及底层技术研究 | 第29-44页 |
| ·e-Cash交易协议属性 | 第29-32页 |
| ·e-Cash交易协议的特殊性 | 第29-30页 |
| ·e-Cash交易协议属性 | 第30-32页 |
| ·e-Cash交易协议安全技术体系结构 | 第32-33页 |
| ·e-Cash交易协议底层技术研究 | 第33-43页 |
| ·基于Linux的IPChains实现用户访问控制系统 | 第33-38页 |
| ·虚拟专用网的AAA管理系统的研究与设计 | 第38-43页 |
| 小结 | 第43-44页 |
| 3 离线可信第三方匿名原子的e-Cash交易协议模型 | 第44-68页 |
| ·协议模型假设 | 第44-45页 |
| ·电子商务系统的模型化 | 第45-50页 |
| ·消息处理模型化 | 第45-47页 |
| ·电子商务系统模型化 | 第47-48页 |
| ·协议规则模型化 | 第48-50页 |
| ·协议信任假设和原子性表示 | 第50页 |
| ·e-Cash交易协议模型 | 第50-67页 |
| ·数据类型及映射函数 | 第52-55页 |
| ·交易协议模型初始化 | 第55-56页 |
| ·消费者本地协议模型 | 第56-58页 |
| ·商家本地协议模型 | 第58-59页 |
| ·可信第三方本地协议模型 | 第59-61页 |
| ·交易协议模型的原子性分析 | 第61-67页 |
| 小结 | 第67-68页 |
| 4 离线可信第三方匿名原子e-Cash交易协议 | 第68-99页 |
| ·扩展的CEMBS可验证加密算法 | 第68-70页 |
| ·ICSP交互确认协议设计 | 第70-77页 |
| ·注册 | 第71-72页 |
| ·ICSP交互协议 | 第72-73页 |
| ·不可否认签名的转换 | 第73-74页 |
| ·ICSP协议的安全性分析 | 第74-77页 |
| ·离线可信第三方的匿名原子e-Cash交易协议 | 第77-87页 |
| ·交易协议设计思想 | 第77-79页 |
| ·e-Cash提取 | 第79-81页 |
| ·Transaction协议 | 第81-84页 |
| ·Cresolve协议 | 第84-86页 |
| ·Mresolve协议 | 第86-87页 |
| ·Abort协议 | 第87页 |
| ·匿名原子交易协议分析 | 第87-93页 |
| ·原子性分析 | 第87-89页 |
| ·匿名性分析 | 第89-90页 |
| ·终止性分析 | 第90-92页 |
| ·安全有效性分析 | 第92页 |
| ·不可否认性分析 | 第92-93页 |
| ·交易协议的比较 | 第93-97页 |
| ·J.D.Tygar协议 | 第94-95页 |
| ·协议执行效率比较 | 第95-97页 |
| ·交易时限和终止性 | 第97页 |
| ·数据存贮 | 第97页 |
| 小结 | 第97-99页 |
| 5 电子商务交易协议形式化验证方法 | 第99-126页 |
| ·SVO形式化验证方法 | 第99-103页 |
| ·SVO形式化验证方法 | 第100-102页 |
| ·SVO分析框架 | 第102-103页 |
| ·SVO形式化验证方法的缺陷 | 第103-108页 |
| ·Zhou Gollmann协议验证 | 第103-105页 |
| ·ISI协议验证 | 第105-107页 |
| ·SVO分析方法存在的局限性 | 第107-108页 |
| ·电子商务交易协议新形式化验证方法 | 第108-112页 |
| ·基本符号 | 第108页 |
| ·协议运行环境及语义 | 第108-110页 |
| ·推理规则 | 第110-112页 |
| ·协议分析步骤 | 第112页 |
| ·新形式化方法的应用实例 | 第112-124页 |
| ·Zhou Gollmann协议形式化验证 | 第112-115页 |
| ·ISI支付协议形式化验证 | 第115-118页 |
| ·匿名原子电子商务交易协议形式化验证 | 第118-121页 |
| ·离线可信第三方匿名原子e-Cash交易协议验证 | 第121-124页 |
| 小结 | 第124-126页 |
| 6 结论与展望 | 第126-128页 |
| 参考文献 | 第128-135页 |
| 附录 | 第135页 |
| 附录1 攻读博士学位期间发表的学术论文 | 第135-136页 |
| 附录2 攻读博士学位期间参加的科研项目 | 第136页 |
| 附录3 攻读博士学位期间获得的奖励 | 第136-137页 |
| 致谢 | 第137-139页 |