离线匿名可撤销的电子支付系统

论文摘要

随着Internet 技术快速发展和广泛普及,电子商务正以其自身高效、低成本的优势,逐步成为新兴的经营模式。在开放的Internet 上怎样保证数据的安全传输和电子商务的公平交易成为能否使电子商务广泛流行的一个至关重要的因素。因此构建安全、高效的电子支付系统对于电子商务发展有着极其重要的意义。本文的研究就是基于这样的背景展开的。本文的主要研究工作如下: 1. 在阅读了大量文献资料的基础上,分析了电子支付系统的发展现状和发展趋势,说明了本文的研究目的和意义。2. 首先对电子支付系统的概念、种类和主要应用技术作了描述,然后对基于离散对数问题的电子支付系统进行深入的研究。3. 对杨波等人提出的基于离散对数问题的方案进行了改进,进一步提高系统的安全性和效率。4. 本文构造了基于椭圆曲线加密体制的零知识证明和Brands 限制性盲签名方案,应用于本文构造的基于椭圆曲线加密体制的电子支付系统。5. 在深入研究基于离散对数问题的电子支付系统的基础上,本文构造了基于椭圆曲线加密体制的离线匿名可撤销的电子支付系统。6. 在Vc++6.0 开发环境下实现基于离散对数问题的电子支付系统,电子支付系统包括四个主体,五个安全协议。

论文目录

• 第1章 引言
• 1.1 研究背景
• 1.2 研究目的
• 1.3 电子支付系统研究现状与发展趋势
• 1.3.1 电子支付系统研究现状
• 1.3.2 电子支付系统的发展趋势
• 1.4 研究内容和创新点
• 1.4.1 论文研究内容
• 1.4.2 论文的创新点
• 第2章 电子支付系统
• 2.1 电子支付系统模型
• 2.1.1 构成电子支付系统的主体
• 2.1.2 电子支付系统主要安全协议
• 2.2 电子支付系统的分类和性能要求
• 2.2.1 电子支付系统按系统特性分类
• 2.2.2 电子支付系统按支付方式分类
• 2.2.3 电子支付系统性能要求
• 2.3 几种典型的电子支付系统
• 2.3.1 匿名不可分电子支付系统
• 2.3.2 匿名可分电子支付系统
• 2.3.3 可撤消匿名性的电子支付系统
• 2.3.4 公平的电子支付系统
• 第3章 电子支付系统相关数学知识和协议方案
• 3.1 数学基础知识
• 3.1.1 素性测试
• 3.1.2 费尔马小定理
• 3.1.3 有限域的生成元
• 3.1.4 离散对数表示
• 3.1.5 散列函数
• 3.1.6 椭圆曲线
• 3.2 加密体制
• 3.2.1 对称加密体制
• 3.2.2 非对称加密体制
• 3.3 数字签名
• 3.3.1 ELGamal 签名算法
• 3.3.2 Schnorr 签名算法
• 3.3.3 Chaum-Pedersen 签名方案
• 3.3.4 盲签名
• 3.4 认证与身份证明
• 3.4.1 零知识证明
• 3.4.2 Schnorr 认证
• 第4章 基于离散对数问题的电子支付方案分析
• 4.1 Brands 方案简介
• 4.2 Brands 方案改进
• 4.3 电子支付方案主体
• 4.3.1 系统组成
• 4.3.2 系统初始化
• 4.3.3 用户在银行的注册协议
• 4.3.4 用户在可信第三方的注册协议
• 4.3.5 用户在银行的提款协议
• 4.3.6 用户在商家的支付协议
• 4.3.7 商家在银行的存款协议
• 4.4 匿名撤销协议
• 4.5 系统安全性分析
• 4.5.1 用户无法伪造电子现金
• 4.5.2 用户不能超额支付
• 4.5.3 合法用户匿名性得到保护
• 4.5.4 商家无法伪造支付信息
• 4.5.5 非法用户的识别
• 第5章 基于椭圆曲线的电子支付方案
• 5.1 椭圆曲线选定
• 5.2 电子支付方案主体
• 5.2.1 系统组成和初始化
• 5.2.2 用户在银行的注册协议
• 5.2.3 用户在可信第三方的注册协议
• 5.2.4 用户在银行的提款协议
• 5.2.5 用户在商家的支付协议
• 5.2.6 商家在银行的存款协议
• 5.3 匿名撤销协议
• 5.4 安全性分析
• 5.4.1 用户无法伪造电子现金
• 5.4.2 用户不能超额支付
• 5.4.3 合法用户匿名性得到保护
• 5.4.4 商家无法伪造支付信息
• 5.4.5 非法用户的识别
• 第6章 基于离散对数问题的电子支付系统实现
• 6.1 电子支付系统主要算法及源代码
• 6.1.1 素数的产生
• 6.1.2 素数域内生成元的产生
• 6.2 电子支付系统主体实现
• 6.2.1 客户端
• 6.2.2 商家服务器
• 6.2.3 银行服务器
• 6.2.4 可信第三方代理服务器
• 总结与展望
• 论文工作总结
• 论文展望
• 参考文献
• 发表论文及科研情况
• 致谢