安全高效多银行的可分电子现金协议研究
| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第1章 绪论 | 第13-26页 |
| ·研究背景及意义 | 第13-15页 |
| ·国内外研究现状 | 第15-22页 |
| ·电子现金研究现状 | 第15-16页 |
| ·可分电子现金研究现状 | 第16-18页 |
| ·多银行电子现金的研究现状 | 第18-20页 |
| ·目前存在的问题 | 第20-22页 |
| ·主要研究内容及其关系 | 第22-24页 |
| ·论文的结构安排 | 第24-26页 |
| 第2章 电子现金协议技术分析 | 第26-33页 |
| ·可分电子现金 | 第26-28页 |
| ·可分电子现金概念及性质 | 第26-27页 |
| ·分析可分电子现金系统受到的攻击行为 | 第27页 |
| ·经典二叉树模型及其花费原则分析 | 第27-28页 |
| ·双线性对和椭圆曲线密码体制 | 第28-30页 |
| ·双线性对 | 第28-29页 |
| ·椭圆曲线上的离散对数问题 | 第29页 |
| ·基于 ECC 的单轮零知识证明 | 第29-30页 |
| ·电子商务协议形式化分析方法 | 第30-32页 |
| ·电子商务协议形式化分析技术分类 | 第30-31页 |
| ·典型的逻辑分析方法 | 第31页 |
| ·协议分析的步骤 | 第31-32页 |
| ·本章小结 | 第32-33页 |
| 第3章 节点均可花费的高效可分电子现金协议 | 第33-50页 |
| ·问题的提出 | 第33-34页 |
| ·构建一种新的节点均可花费二叉树模型和花费原则 | 第34-35页 |
| ·新二叉树的构建 | 第34页 |
| ·新的花费原则 | 第34-35页 |
| ·构建可分电子现金模型 | 第35-36页 |
| ·协议的关键算法和基本思想 | 第36-39页 |
| ·基于双线性对的 CL 签名协议 | 第36-37页 |
| ·节点优化计算方法 | 第37-38页 |
| ·协议的基本思想 | 第38-39页 |
| ·节点均可花费的高效可分电子现金协议的详细描述 | 第39-43页 |
| ·系统参数的建立 | 第39-40页 |
| ·取款协议 | 第40页 |
| ·支付协议 | 第40-42页 |
| ·存款协议 | 第42-43页 |
| ·协议的分析 | 第43-49页 |
| ·正确性 | 第43-44页 |
| ·安全性 | 第44-45页 |
| ·匿名性 | 第45-46页 |
| ·不可伪造性 | 第46页 |
| ·不可重复花费性 | 第46-47页 |
| ·不可欺诈性 | 第47页 |
| ·不可链接性 | 第47-48页 |
| ·可追踪性 | 第48页 |
| ·协议的效率 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第4章 可传递性的离线可分电子现金协议 | 第50-65页 |
| ·问题提出 | 第50-51页 |
| ·构建可传递性的可分电子现金模型 | 第51-52页 |
| ·可传递性的离线可分电子现金协议的详细描述 | 第52-58页 |
| ·协议初始化 | 第52-53页 |
| ·开户协议 | 第53页 |
| ·取款协议 | 第53-54页 |
| ·支付协议 | 第54-57页 |
| ·存款协议 | 第57-58页 |
| ·追踪协议 | 第58页 |
| ·安全性和效率分析 | 第58-61页 |
| ·匿名性 | 第59页 |
| ·不可伪造性 | 第59页 |
| ·不可重复花费性 | 第59页 |
| ·不可链接性 | 第59-60页 |
| ·不可陷害性 | 第60页 |
| ·效率分析 | 第60-61页 |
| ·形式化分析 | 第61-64页 |
| ·协议的提取 | 第62页 |
| ·协议的分析 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第5章 多银行可分电子现金协议 | 第65-81页 |
| ·问题提出 | 第65-66页 |
| ·构建多银行可分电子现金模型 | 第66-67页 |
| ·多银行可分电子现金协议的详细描述 | 第67-73页 |
| ·系统初始化 | 第67页 |
| ·成员加入 | 第67-68页 |
| ·开户 | 第68页 |
| ·取款协议 | 第68-69页 |
| ·支付协议 | 第69-72页 |
| ·存款协议 | 第72-73页 |
| ·追踪协议 | 第73页 |
| ·成员撤销 | 第73页 |
| ·安全性和效率分析 | 第73-75页 |
| ·匿名性 | 第73-74页 |
| ·不可链接性 | 第74页 |
| ·不可重复花费性 | 第74页 |
| ·可追踪性 | 第74页 |
| ·不可伪造性 | 第74-75页 |
| ·效率分析 | 第75页 |
| ·协议的形式化分析 | 第75-79页 |
| ·协议的提取 | 第76-77页 |
| ·协议的分析 | 第77-78页 |
| ·分析总结 | 第78-79页 |
| ·三类协议的总结 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第6章 多银行可分电子现金原型系统的实现 | 第81-93页 |
| ·总体设计 | 第81-84页 |
| ·煤炭电子交易的系统模型 | 第81-82页 |
| ·开发平台和总体框架 | 第82-83页 |
| ·功能模块划分 | 第83-84页 |
| ·数据库设计 | 第84页 |
| ·煤炭交易协议的实现 | 第84-89页 |
| ·加密 | 第85-86页 |
| ·开户 | 第86页 |
| ·取款 | 第86-87页 |
| ·支付 | 第87-88页 |
| ·存款 | 第88页 |
| ·银行审核 | 第88-89页 |
| ·银行网关 | 第89页 |
| ·原型系统性能测试及分析 | 第89-92页 |
| ·本章小结 | 第92-93页 |
| 结论 | 第93-95页 |
| 参考文献 | 第95-102页 |
| 攻读博士学位期间承担的科研任务与主要成果 | 第102-104页 |
| 致谢 | 第104-105页 |
| 作者简介 | 第105页 |
