探讨形式化安全高效多银行可分电子协议结论

论文导读：电子商务协议形式化浅析策略30-322.3.1电子商务协议形式化浅析技术分类30-312.3.2典型的逻辑浅析策略312.3.3协议浅析的步骤31-322.4本章小结32-33第3章节点均可花费的高效可分电子协议33-503.1不足的提出33-343.12下一页
摘要：随着信息技术和电子商务的飞速进展，电子凭借其匿名性、可分性等优势成为了理想的支付方式。对安全、高效和实用的电子支付技术的探讨，是电子商务交易中亟待解决的关键不足之一，是电子支付系统进展的科学依据，具有重要的科研学术价值和广泛的运用前景。但是，现有电子协议在具体算法、所采取的体制、电子模型、安全性能和对协议的形式化浅析等方面还有着不足之处。针对这些不足，本论文的主要探讨工作如下。首先，全面浅析经典二叉树模型及其花费原则的缺点，构建了一类新的二叉树模型，并提出了一种新的花费原则。新的二叉树模型及其花费原则能够实现二叉树上的所有节点都能被花费，在相同取款的情况下提升了用户所能花费的电子总额，减少了银行在取款历程中的签名次数和存款历程中的运算量，保证了在此基础上提出的可分电子协议的高效性。在新的二叉树模型及其花费原则基础上，构建一种具有可分性的电子模型，作为协议设计参照的标准。提出了基于双线性对的CL签名，用于实现协议中的签名功能。提出了节点优化计算的策略，使得用户花费任意电子所做的计算量都相同，有效地提升了协议的效率。进而对设计的节点均可花费的高效可分电子协议的具体历程进行详细描述，浅析得出协议能够很好地实现各种安全性，具有较高的效率。其次，基于新的二叉树模型及其花费原则，充分考虑电子的可传递性，构建了一种具有可传递性的离线可分电子模型，并提出了高效的具有可传递性的离线可分电子协议。可分技术实现二叉树上的所有节点都可花费，并能实现用户对商品的精确支付。可传递性的实现中，电子在传递历程中的信息量不会增加，提升了案例的效率。非形式化浅析说明本协议满足电子的各种基本安全性质，并采取卿-周逻辑对协议的可追究性和公平性进行严格形式化浅析证明，弥补了现有电子协议缺少形式化浅析的缺憾。再次，基于新的二叉树模型及其花费原则，把单银行情况拓展到多银行情况，提出了一种多银行可分电子模型，基于此模型和无证书群签名思想构建了一种具有公平性的多银行可分电子协议。协议利用无证书群签名技术，能够有效地解决群成员动态加入和撤销的不足，保证安全性的同时能够降低通信成本和运算量，提升系统的效率和实用性。协议不仅具有很好的安全性，而且利用卿-周逻辑的形式化浅析策略验证本案例满足可追究性和公平性。最后，把多银行可分电子协议运用到实际的电子商务交易中，设计和实现了一个秦皇岛港煤炭电子交易的原型系统。通过测试，该系统很好地实现了电子交易的基本功能，满足匿名性和不可伪造性等安全性质，在取款、支付和存款阶段都能够快速地处理完成。原型系统体现出安全、高效和实用的特点，推进了电子系统实际运用的步伐。关键词：可分电子论文椭圆曲线体制论文形式化浅析论文二叉树论文多银行论文公平性论文可传递性论文
本论文由www.7ctime.com,需要论文可以联系人员哦。摘要5-7
Abstract7-13
第1章 绪论13-26

1.1 探讨背景及作用13-15

1.2 国内外探讨近况15-22

1.2.1 电子探讨近况15-16

1.2.2 可分电子探讨近况16-18

1.2.3 多银行电子的探讨近况18-20

1.2.4 目前有着的不足20-22

1.3 主要探讨内容及其联系22-24

1.4 论文的结构安排24-26

第2章 电子协议技术浅析26-33

2.1 可分电子26-28

2.

1.1 可分电子概念及性质26-27

2.

1.2 浅析可分电子系统受到的攻击行为27

2.

1.3 经典二叉树模型及其花费原则浅析27-28

2.2 双线性对和椭圆曲线体制28-30

2.1 双线性对28-29

2.2 椭圆曲线上的离散对数不足29

2.3 基于 ECC 的单轮零知识证明29-30

2.3 电子商务协议形式化浅析策略30-32

2.3.1 电子商务协议形式化浅析技术分类30-31

2.3.2 典型的逻辑浅析策略31

2.3.3 协议浅析的步骤31-32

2.4 本章小结32-33

第3章 节点均可花费的高效可分电子协议33-50

3.1 不足的提出33-34

3.论文导读：性594.4.2不可伪造性594.4.3不可重复花费性594.4.4不可链接性59-604.4.5不可陷害性604.4.6效率浅析60-614.5形式化浅析61-644.5.1协议的提取624.5.2协议的浅析62-644.6本章小结64-65第5章多银行可分电子协议65-815.1不足提出65-665.2构建多银行可分电子模型66-675.3多银行可分电子协议的详细描述67
2 构建一种新的节点均可花费二叉树模型和花费原则34-35
3.

2.1 新二叉树的构建34

3.

2.2 新的花费原则34-35

3.3 构建可分电子模型35-36

3.4 协议的关键算法和基本思想36-39

3.4.1 基于双线性对的 CL 签名协议36-37

3.4.2 节点优化计算策略37-38

3.4.3 协议的基本思想38-39

3.5 节点均可花费的高效可分电子协议的详细描述39-43

3.5.1 系统参数的建立39-40

3.5.2 取款协议40

3.5.3 支付协议40-42

3.5.4 存款协议42-43

3.6 协议的浅析43-49

3.6.1 正确性43-44

3.6.2 安全性44-45

3.6.3 匿名性45-46

3.6.4 不可伪造性46

3.6.5 不可重复花费性46-47

3.6.6 不可欺诈性47

3.6.7 不可链接性47-48

3.6.8 可追踪性48

3.6.9 协议的效率48-49

3.7 本章小结49-50

第4章 可传递性的离线可分电子协议50-65

4.1 不足提出50-51

4.2 构建可传递性的可分电子模型51-52

4.3 可传递性的离线可分电子协议的详细描述52-58

4.

3.1 协议初始化52-53

4.

3.2 开户协议53

4.

3.3 取款协议53-54

4.

3.4 支付协议54-57

4.

3.5 存款协议57-58

4.

3.6 追踪协议58

4.4 安全性和效率浅析58-61

4.1 匿名性59

4.2 不可伪造性59

4.3 不可重复花费性59

4.4 不可链接性59-60

4.5 不可陷害性60

4.6 效率浅析60-61

4.5 形式化浅析61-64

4.5.1 协议的提取62

4.5.2 协议的浅析62-64

4.6 本章小结64-65

第5章 多银行可分电子协议65-81

5.1 不足提出65-66

5.2 构建多银行可分电子模型66-67

5.3 多银行可分电子协议的详细描述67-73

5.

3.1 系统初始化67

5.

3.2 成员加入67-68

5.

3.3 开户68

5.

3.4 取款协议68-69

5.

3.5 支付协议69-72

5.

3.6 存款协议72-73

5.

3.7 追踪协议73

5.

3.8 成员撤销73

5.4 安全性和效率浅析73-75
5.

4.1 匿名性73-74

5.

4.2 不可链接性74

5.

4.3 不可重复花费性74

5.

4.4 可追踪性74

5.

4.5 不可伪造性74-75

5.

4.6 效率浅析75

5.5 协议的形式化浅析75-79

5.1 协议的提取76-77

5.2 协议的浅析77-78

5.3 浅析总结78-79

5.6 三类协议的总结79-80

5.7 本章小结80-81

第6章 多银行可分电子原型系统的实现81-93

6.1 总体设计81-84

6.

1.1 煤炭电子交易的系统模型81-82

6.

1.2 开发平台和总体框架82-83

6.

1.3 功能模块划分83-84

6.

1.4 数据库设计84

6.2 煤炭交易协议的实现84-89
6.

2.1 加密85-86

6.

2.2 开户86

6.

2.3 取款86-87

6.

2.4 支付87-88

6.

2.5 存款88

6.

2.6 银行审核88-89

6.

2.7 银行网关89

6.3 原型系统性能测试及浅析89-92

6.4 本章小结92-93

结论93-95
参考文献95-102
攻读博士学位期间承担的科研任务与主要成果102-104
致谢104-105
作者介绍105