基于ECC的高效可分电子现金协议研究

摘要

电子支付是电子商务的核心，直接影响到电子商务的发展速度和范围。目前已有的电子支付方式中，电子现金是一种新兴的，极具潜力的支付方式。电子现金具有现实货币的特性，具有匿名性，离线性，不可追踪性等特点，为了更好的模拟现实货币，还具有可分性、不可连接性等特点。因此，设计安全高效的可分电子现金协议，在保证交易双方的自由和隐私的条件下提高协议的效率成为本文研究的重点。
　　首先，针对现有可直接计算可分电子现金系统在现实中很难构建，而且计算量较大的问题，本文将椭圆曲线密码体制与可直接计算方法相结合，设计一个更高效的离线可分电子现金协议。同时为电子现金加入有效期，减轻银行的数据库负担。本协议基于有限域上的椭圆曲线，在现实中易于构建，具有更高的效率和实用性。文中在给出协议的详细描述之后，对协议的效率和安全性进行了分析与证明。
　　其次，针对遵循二叉树花费原则的可分电子现金协议中一棵二叉树的结点不能都被花费的问题，本文引入了二叉树路径来表示电子现金，利用椭圆曲线密码体制，构建了一个基于二叉树路径表示的电子现金协议。本协议把所花费的二叉树结点的路径嵌入花费信息中，使每个花费具有唯一性，从而使二叉树的每个结点都可以花费，减少计算量，提高效率。
　　最后，对基于ECC的可直接计算的可分电子现金协议进行了实验验证，利用Visual Studio2008开发环境，设计开发了一个基于ECC的高效可分电子现金原型系统，模拟实现了协议的基本功能。

目录

封面

声明

中文摘要

英文摘要

目录

第1章 绪论

1.1 研究背景及意义

1.2 国内外研究现状

1.3 本文研究内容及章节安排

第2章 可分电子现金协议基础知识

2.1 可分电子现金相关知识

2.2 电子现金系统模型

2.3 二叉树消费原则

2.4 椭圆曲线密码体制

2.5 非交互式零知识证明

2.6 电子现金的生命周期

2.7 本章小结

第3章 基于ECC的可直接计算的可分电子现金

3.1 引言

3.2 本文协议研究的总体框架

3.3 协议基本描述

3.4 协议的详细描述

3.5 正确性和安全性分析

3.6 本章小结

第4章 基于ECC与二叉树路径的可分电子现金协议

4.1 引言

4.2 协议的基本描述

4.3 协议的详细描述

4.4 正确性和安全性分析

4.5 本章小结

第5章 基于ECC的高效可分电子现金原型系统的模拟实现

5.1 总体设计

5.2 数据库设计

5.3 协议的实现

5.4 原型系统性能测试

5.5 本章小结

结论

参考文献

攻读硕士学位期间承担的科研任务与主要成果

致谢

作者简介