一、基于椭圆曲线的多银行电子现金支付协议的研究（论文文献综述）
黎师良[1]（2020）在《高效实用的E-cash机制研究》文中研究说明随着信息技术和电子商务的飞速发展,电子现金凭借网络支付的优势成为了理想的支付方式。对安全、高效和实用的电子现金的研究,是电子商务交易中亟待解决的关键问题之一,是电子支付系统发展的科学依据,具有重要的科研学术价值和广泛的应用前景。但是,现有电子现金协议在具体算法、所采用的密码体制、电子现金模型、安全性能和对协议的形式化分析等方面还存在不足之处。针对电子现金支付的隐私性和实用性问题,本文主要对电子现金的匿名性和可分性展开研究。主要完成的工作和贡献点如下:（1）为了实现用户在支付过程中的隐私保护,本文提出了一个新的基于环签名的电子现金支付方案,并对该方案进行安全性与效率分析。该方案满足正确性、匿名性、平衡性、不可双花性和可追踪性。该方案利用环签名的匿名性,在交易过程中保护用户的隐私,把用户的身份隐藏在一个群体当中,实现了匿名支付,并且能够识别电子货币的重复花费,同时提高了花费效率。（2）为了解决实用中的货币可分性问题,本文提出了一个新的基于代理签名的可分电子现金方案。在取钱协议中,利用托管密钥完成电子货币的签发和授予用户货币分割权限。在花费协议中,利用代理签名的可验证性,使商家相信用户花费的货币是一个合法的货币。交易过程中,利用秘密值生成了一个唯一的交易流水号,同时实现了电子货币的任意可分性。本文对该方案的正确性、可分性、不可双花性、平衡性和可追踪性进行了分析。
曾丽[2]（2019）在《基于ECC无证书部分盲签名及其应用》文中提出在普通盲签名中,签名者对被签名消息一无所知。如果这个特点在电子现金系统中被非法利用,就可能出现偷税、漏税和洗钱等严重后果。为了解决这个潜在的问题,Abe和Fujisaki在1996年提出了部分盲签名的概念。它不仅继承了盲签名匿名性的特点,而且具有另一个新特点,即签名者可以在签名中加入与请求者早已约定的公共信息,以便防止签名被非法滥用。许多学者把部分盲签名和无证书结合起来,提出了各种无证书部分盲签名方案。但是,有些方案存在着某种缺陷,从而影响了方案在电子现金系统中的应用。本文主要研究基于椭圆曲线无证书部分盲签名及其在电子现金系统中的应用,主要研究内容和取得的成果如下:（1）针对刘二根等人在2017年提出的无证书盲签名方案存在效率问题,提出了一个改进方案。在密钥生成阶段,不使用双线性对运算,而采用椭圆曲线上的点乘运算,改进方案的计算量大约是原方案的十七分之一,从而提高了改进方案的效率。在赵振国2016年提出的无证书部分盲签名方案中,公共信息容易被篡改,为此提出了另一个改进方案。采用hash函数生成在盲化过程中使用的参数,利用hash函数的单向性和强碰撞性保证了参数的唯一性,从而防止了公共信息的篡改。（2）在这两个改进方案的基础上,本文重新设计了一个基于椭圆曲线的无证书部分盲签名的新方案。并在随机预言机模型下,证明了新方案具有部分盲性和不可伪造性。与同类方案进行效率比较,新方案的签名长度更短,从而提高了计算效率。（3）在电子现金系统中使用新方案。结合理论要求和实际需要,列出一个普及性广和实用性强的电子现金系统应该具有的特性。根据电子现金系统模型,将各阶段流程具体化,设计了一个离线电子现金系统。从安全性和实用性两方面展开分析,新方案在离线电子现金系统中满足匿名性、不可伪造性和能抵抗中间人攻击等安全特性。
程润辉[3]（2017）在《数字签名中盲性和匿名性理论及其应用研究》文中指出数字签名是密码技术的核心构件,具有身份认证性、数据完整性和不可否认性等重要性质,广泛应用于电子商务和电子政务等领域。盲性和匿名性是一些特殊签名能够提供的两个重要性质,盲性可保证签名消息的内容不为签名人所知,而匿名性可保证代表群体签名的群成员的身份不为外人所知,因此,这两种性质在保护个人隐私方面有着广泛的应用。本文探讨能提供盲性的盲签名方案和能提供匿名性的群签名方案的高效构建问题,当然,这两个签名方案的结合还可以得到能同时提供盲性和匿名性的群盲签名方案。结合多签名和门限签名的构建思想,我们给出了群签名方案的一种简单易行的、全新的构建方法。把这种构建方法应用于着名的BLS短签名方案,得到一种高效的短群签名方案,其不但结构简单,签名长度短,而且很容易地解决了群成员的即时加入和撤销问题。把该签名方案和基于BLS短签名的盲签名方案相结合,得到一个高效的群盲签名方案。我们还讨论了盲性和匿名性在实际中的应用问题。运用盲签名方案分别构建了一个电子现金系统和一个电子投票系统,但其只能支持单银行和单管理机构。而运用群盲签名便可以构建支持多银行的电子现金系统和支持多管理机构的电子投票系统。
茹秀娟,晋玉星[4]（2017）在《基于双线性对的多银行离线电子现金系统》文中提出基于双线性对运算提出了一个离线多银行电子现金系统.该系统能够实现离线支付,且支持跨行支付,能够利用限制性盲签名有效地保护用户的隐私,还能够实现发币权的动态变更.
梁艳,张筱,郑志明[5]（2016）在《基于无证书群签名方案的电子现金系统》文中指出在经典方案ACJT群签名方案的基础上,提出了一种基于椭圆曲线的前向安全的成员可撤销无证书群签名方案,改进了ACJT计算复杂、参数较多、签名较长的不足,减小了计算量及参数个数,缩短了签名长度,提高了方案效率,并基于此群签名方案构建了一个离线公平高效的多银行电子现金系统,该电子现金系统不仅继承了群签名方案的安全性、高效性,还实现了不可伪造性、防止多重支付、防止金额篡改等多种性质,较同类方案具有明显优势。
吴月修,王鑫,张晓琳,程相国,咸鹤群[6]（2014）在《一种实用的群盲签名及其在电子现金系统中的应用》文中研究说明以基于BLS短签名的群签名方案为基础方案,结合Boldyreva提供的签名的盲化方法,提出一种新的群盲签名方案。该方案具有签名长度短,构造方法简单等优点,因而降低了计算量和通信成本。应用该群盲签名方案构造出一种离线多银行电子现金系统,该系统实现了动态撤销群成员和追踪用户的功能。
朱变,朱海[7]（2014）在《云计算中基于TPM的多银行电子现金系统》文中研究说明针对云计算的虚拟化技术可以解决传统网络中电子现金系统存在的隐私泄露、交易不规范和高成本投入问题,在已有的工作中,考虑商家和用户使用同一银行在一定程度上限制了电子现金广泛使用的情况,提出了一种基于TPM（trusted platform module）的可信云平台多银行电子现金方案。该方案从电子现金支付的效率和安全性方面考虑,利用群签名和椭圆曲线算法ECC提高协议的执行效率,运用可信平台模块提供的隐私保护和远程证明功能加强支付协议的安全性。最后,对方案的安全性和效率进行分析。
朱变,王洪峰,朱海[8]（2013）在《云计算中支持隐私保护的多银行电子现金系统》文中进行了进一步梳理鉴于云计算可以解决传统网络中电子现金系统的隐私泄漏、交易不规范和高成本投入等问题,提出一种云环境中支持隐私保护的多银行电子现金方案.该方案运用可信平台模块（Trusted Platform Module,TPM）提供的隐私保护和远程证明功能,实现从电子支付系统终端到上层应用的安全性,运用群签名技术提高电子现金支付的效率和匿名性.最后对提出的方案进行了安全性分析.
李彪[9]（2013）在《盲签名理论分析与应用》文中指出随着计算硬件飞速发展，计算机的运行速度和对传统公钥算法的破解能力逐渐变得强大，对已存在的各种电子支付协议构成较大的威胁。研究者们通过构造出更加复杂的盲签名协议，来增强电子支付协议的安全性。虽然，协议的安全性可以得到较快的提升，但是协议的效率却不尽人意。所以，构造安全高效的盲签名方案和电子支付方案，已经成为信息安全的研究热点。已提出的基于公钥密码算法的盲签名方案中，许多方案通过中间相遇攻击和主动攻击，能够成功伪造签名信息。本文从已提出的方案中，归纳出五种安全的基于公钥密码算法的盲签名方案，并给出各方案之间的效率分析。Schnorr数字签名的零知识证明方案，可以很好的保护Schnorr数字签名的安全性，防止其任意传播。证实者不需要向验证者提供Schnorr签名信息，而只需向验证者提供零知识证明协议的交互信息。验证者通过交互信息不能获知任何与签名相关信息，但确信签名者拥有签名信息，有效的防止Schnorr数字签名任意传播。在可证安全理论下，分别提出标准模型下基于身份的盲签名方案和随机预言机模型下的无证书盲签名方案。两个方案都是先定义盲签名体制，利用双线性对构建盲签名方案，最后将其安全性都规约至数学困难问题。在该文提出的标准模型下基于身份的盲签名方案下，提出了基于身份的简易电子现金方案，并对提出的电子现金方案进行正确性、匿名信和不可伪造性分析。分析表明，该电子现金方案具备较高的安全性，能够应用于电子商务中。
侯贵宾[10]（2012）在《安全高效多银行的可分电子现金协议研究》文中提出随着信息技术和电子商务的飞速发展，电子现金凭借其匿名性、可分性等优势成为了理想的支付方式。对安全、高效和实用的电子现金支付技术的研究，是电子商务交易中亟待解决的关键问题之一，是电子支付系统发展的科学依据，具有重要的科研学术价值和广泛的应用前景。但是，现有电子现金协议在具体算法、所采用的密码体制、电子现金模型、安全性能和对协议的形式化分析等方面还存在不足之处。针对这些问题，本文的主要研究工作如下。首先，全面分析经典二叉树模型及其花费原则的缺点，构建了一类新的二叉树模型，并提出了一种新的花费原则。新的二叉树模型及其花费原则能够实现二叉树上的所有节点都能被花费，在相同取款的情况下提高了用户所能花费的电子现金总额，减少了银行在取款过程中的签名次数和存款过程中的运算量，保证了在此基础上提出的可分电子现金协议的高效性。在新的二叉树模型及其花费原则基础上，构建一种具有可分性的电子现金模型，作为协议设计参照的标准。提出了基于双线性对的CL签名，用于实现协议中的签名功能。提出了节点优化计算的方法，使得用户花费任意电子现金所做的计算量都相同，有效地提高了协议的效率。进而对设计的节点均可花费的高效可分电子现金协议的具体过程进行详细描述，分析得出协议能够很好地实现各种安全性，具有较高的效率。其次，基于新的二叉树模型及其花费原则，充分考虑电子现金的可传递性，构建了一种具有可传递性的离线可分电子现金模型，并提出了高效的具有可传递性的离线可分电子现金协议。可分技术实现二叉树上的所有节点都可花费，并能实现用户对商品的精确支付。可传递性的实现中，电子现金在传递过程中的信息量不会增加，提高了方案的效率。非形式化分析说明本协议满足电子现金的各种基本安全性质，并采用卿-周逻辑对协议的可追究性和公平性进行严格形式化分析证明，弥补了现有电子现金协议缺少形式化分析的缺憾。再次，基于新的二叉树模型及其花费原则，把单银行情况拓展到多银行情况，提出了一种多银行可分电子现金模型，基于此模型和无证书群签名思想构建了一种具有公平性的多银行可分电子现金协议。协议利用无证书群签名技术，能够有效地解决群成员动态加入和撤销的问题，保证安全性的同时能够降低通信成本和运算量，提高系统的效率和实用性。协议不仅具有很好的安全性，而且利用卿-周逻辑的形式化分析方法验证本方案满足可追究性和公平性。最后，把多银行可分电子现金协议应用到实际的电子商务交易中，设计和实现了一个秦皇岛港煤炭电子交易的原型系统。通过测试，该系统很好地实现了电子交易的基本功能，满足匿名性和不可伪造性等安全性质，在取款、支付和存款阶段都能够快速地处理完成。原型系统体现出安全、高效和实用的特征，推进了电子现金系统实际应用的步伐。
二、基于椭圆曲线的多银行电子现金支付协议的研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、基于椭圆曲线的多银行电子现金支付协议的研究（论文提纲范文）
（1）高效实用的E-cash机制研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究目的和意义 |
| 1.2 国内外研究现状 |
| 1.2.1 紧凑型电子现金协议 |
| 1.2.2 匿名型电子现金协议 |
| 1.2.3 可分型电子现金协议 |
| 1.3 研究动机与贡献 |
| 1.4 本文组织结构 |
| 2 预备知识 |
| 2.1 数学工具 |
| 2.1.1 群基础 |
| 2.1.2 双线性对 |
| 2.1.3 数学困难性问题 |
| 2.2 基本的密码学工具 |
| 2.2.1 哈希函数 |
| 2.2.2 伪随机函数 |
| 2.2.3 代理签名 |
| 2.2.4 环签名 |
| 2.3 本章小结 |
| 3 电子现金模型 |
| 3.1 通用的电子现金模型 |
| 3.2 安全性质 |
| 3.3 本章小结 |
| 4 保护用户隐私的电子现金协议 |
| 4.1 引言 |
| 4.2 语法定义 |
| 4.2.1 电子现金方案算法组成 |
| 4.2.2 安全性质 |
| 4.3 具体方案 |
| 4.3.1 方案概述 |
| 4.3.2 初始化 |
| 4.3.3 取钱协议 |
| 4.3.4 花费协议 |
| 4.3.5 存钱协议 |
| 4.4 安全性分析 |
| 4.4.1 正确性 |
| 4.4.2 匿名性 |
| 4.4.3 不可双花性 |
| 4.4.4 平衡性 |
| 4.4.5 可追踪性 |
| 4.5 效率分析 |
| 4.6 本章小结 |
| 5 可分的电子现金协议 |
| 5.1 引言 |
| 5.2 语法定义 |
| 5.2.1 可分的电子现金方案算法组成 |
| 5.2.2 安全性质 |
| 5.3 具体方案 |
| 5.3.1 方案概述 |
| 5.3.2 初始化 |
| 5.3.3 取钱协议 |
| 5.3.4 花费协议 |
| 5.3.5 存钱协议 |
| 5.4 安全性分析 |
| 5.4.1 正确性 |
| 5.4.2 不可双花性 |
| 5.4.3 平衡性 |
| 5.4.4 可分性 |
| 5.4.5 可追踪性 |
| 5.5 效率分析 |
| 5.6 本章小结 |
| 6 总结与展望 |
| 6.1 工作总结 |
| 6.2 工作展望 |
| 参考文献 |
| 致谢 |
（2）基于ECC无证书部分盲签名及其应用（论文提纲范文）
| 摘要 |
| Abstract |
| 1 引言 |
| 1.1 研究背景与意义 |
| 1.2 研究现状 |
| 1.2.1 部分盲签名的研究现状 |
| 1.2.2 电子现金系统的研究现状 |
| 1.3 本文的主要研究内容和成果 |
| 2 预备知识 |
| 2.1 相关数学理论 |
| 2.1.1 群和域 |
| 2.1.2 双线性映射 |
| 2.1.3 有限域上的椭圆曲线 |
| 2.1.4 困难性问题 |
| 2.1.5 哈希函数 |
| 2.2 相关的密码学知识 |
| 2.2.1 盲签名 |
| 2.2.2 部分盲签名 |
| 2.2.3 可证明安全理论 |
| 2.2.4 随机预言机模型 |
| 2.3 无证书部分盲签名方案及其安全模型 |
| 2.3.1 无证书部分盲签名方案 |
| 2.3.2 形式化安全模型 |
| 3 基于椭圆曲线的无证书部分盲签名方案 |
| 3.1 对Liu方案的分析及改进 |
| 3.1.1 Liu方案回顾 |
| 3.1.2 改进方案一 |
| 3.1.3 安全性分析 |
| 3.1.4 效率分析 |
| 3.2 对Zhao方案的分析及改进 |
| 3.2.1 Zhao方案回顾 |
| 3.2.2 改进方案二 |
| 3.2.3 安全性分析 |
| 3.2.4 效率分析 |
| 3.3 基于椭圆曲线的无证书部分盲签名方案 |
| 3.3.1 新方案的提出 |
| 3.3.2 安全性分析 |
| 3.3.3 效率分析 |
| 3.4 本章小结 |
| 4 新方案在电子现金系统中的应用 |
| 4.1 电子现金系统的相关知识 |
| 4.2 新方案在电子现金系统中的应用 |
| 4.2.1 电子现金方案 |
| 4.2.2 安全性分析 |
| 4.3 本章小结 |
| 5 总结与展望 |
| 5.1 总结 |
| 5.2 展望 |
| 参考文献 |
| 附录 A 符号说明 |
| 攻读硕士学位期间发表的论文及科研成果 |
| 致谢 |
（3）数字签名中盲性和匿名性理论及其应用研究（论文提纲范文）
| 摘要 |
| abstract |
| 第一章 绪论 |
| 1.1 群签名 |
| 1.2 盲签名 |
| 1.3 群盲签名 |
| 1.4 群体签名 |
| 1.4.1 多签名 |
| 1.4.2 门限签名 |
| 1.5 研究内容及安排 |
| 第二章 双线性对 |
| 2.1 双线性对的定义和性质 |
| 2.2 双线性对中的困难问题 |
| 2.3 双线性对的计算 |
| 2.4 本章小结 |
| 第三章 盲签名及其应用 |
| 3.1 BLS短签名 |
| 3.2 基于BLS短签名的盲签名 |
| 3.2.1 盲签名的构造 |
| 3.2.2 盲签名的安全性分析 |
| 3.3 盲签名的应用 |
| 3.3.1 电子现金支付系统 |
| 3.3.2 电子投票系统 |
| 3.4 本章小结 |
| 第四章 群签名简单构建 |
| 4.1 基于BLS短签名的多签名 |
| 4.1.1 多签名的构造 |
| 4.1.2 多签名的安全性分析 |
| 4.2 基于BLS短签名的门限签名 |
| 4.2.1 (t,n)门限签名的构造 |
| 4.2.2 (t,n)门限签名的安全性分析 |
| 4.3 群签名的简易构建 |
| 4.3.1 群签名的传统构造方法 |
| 4.3.2 群签名的简易构建方法 |
| 4.4 基于BLS短签名的简易群签名方案 |
| 4.5 本章小结 |
| 第五章 安全群签名的构建 |
| 5.1 群签名的定义 |
| 5.2 群签名的安全性要求 |
| 5.3 安全的群签名方案 |
| 5.4 群签名方案的安全性分析 |
| 5.5 群签名方案性能分析 |
| 5.6 本章小结 |
| 第六章 群盲签名及其应用 |
| 6.1 群盲签名的安全性要求 |
| 6.2 安全群盲签名方案 |
| 6.3 多银行电子现金系统 |
| 6.4 本章小结 |
| 第七章 总结与展望 |
| 参考文献 |
| 致谢 |
（4）基于双线性对的多银行离线电子现金系统（论文提纲范文）
| 1 预备知识 |
| 1.1 双线性对 |
| 1.2 困难假设 |
| 2 多银行电子现金系统模型 |
| 3 基于双线性对的多银行电子现金系统 |
| 3.1 系统初始化 |
| 3.2 发币委托协议 |
| 3.3 用户开户协议 |
| 3.4 提款协议 |
| 3.5 支付协议 |
| 3.6 存款协议 |
| 3.7 发币权变更协议 |
| 4 方案分析 |
| 4.1 安全性分析 |
| 4.2 效率分析 |
| 5 结论 |
（9）盲签名理论分析与应用（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 国内外研究现状 |
| 1.3 研究目的与意义 |
| 1.4 作者主要工作 |
| 1.5 论文主要内容与结构 |
| 第二章 密码学相关知识 |
| 2.1 双线性配对 |
| 2.2 数学困难问题与假设 |
| 2.3 哈希函数 |
| 2.4 分叉规约技术 |
| 第三章 基于公钥密码算法的盲签名方案 |
| 3.1 背景知识 |
| 3.1.1 RSA 公钥体制签名算法 |
| 3.1.2 EIGamal 公钥体制签名算法 |
| 3.1.3 Schnorr 公钥体制签名算法 |
| 3.1.4 DSA 公钥体制签名算法 |
| 3.1.5 ECDSA 公钥体制签名算法 |
| 3.2 基于公钥密码算法的盲签名体制 |
| 3.2.1 体制定义 |
| 3.2.2 体制性质 |
| 3.3 基于公钥密码算法的盲签名方案方案设计 |
| 3.3.1 基于 RSA 的盲签名方案 |
| 3.3.2 基于 EIGamal 的盲签名方案 |
| 3.3.3 基于 Schnorr 的盲签名方案 |
| 3.3.4 基于 DSA 的盲签名方案 |
| 3.3.5 基于 ECDSA 的盲签名方案 |
| 3.4 性能分析 |
| 3.5 本章小结 |
| 第四章 Shnorr 数字签名方案的零知识证明方案 |
| 4.1 背景知识 |
| 4.1.1 零知识证明理论 |
| 4.1.2 零知识洞穴例子 |
| 4.2 方案设计 |
| 4.3 方案分析 |
| 4.4 本章小结 |
| 第五章 可证明安全的盲签名方案 |
| 5.1 背景知识 |
| 5.1.1 可证安全理论 |
| 5.1.2 基于身份的密码系统 |
| 5.1.3 无证书密码系统 |
| 5.2 标准模型下基于身份的盲签名方案 |
| 5.2.1 基于身份的盲签名体制 |
| 5.2.2 方案设计 |
| 5.2.3 方案分析 |
| 5.3 随机预言机模型下无证书盲签名方案 |
| 5.3.1 无证书盲签名体制 |
| 5.3.2 方案设计 |
| 5.3.3 方案分析 |
| 5.4 本章小结 |
| 第六章 基于身份的简易电子现金方案 |
| 6.1 背景知识 |
| 6.1.1 电子现金分类 |
| 6.1.2 电子现金主要模型 |
| 6.1.3 电子现金性质 |
| 6.1.4 电子现金相关技术 |
| 6.2 方案设计 |
| 6.3 方案分析 |
| 6.4 本章小结 |
| 第七章 结论与展望 |
| 7.1 结论 |
| 7.2 展望 |
| 参考文献 |
| 个人简历 在读期间发表的学术论文 |
| 致谢 |
（10）安全高效多银行的可分电子现金协议研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.2.1 电子现金研究现状 |
| 1.2.2 可分电子现金研究现状 |
| 1.2.3 多银行电子现金的研究现状 |
| 1.2.4 目前存在的问题 |
| 1.3 主要研究内容及其关系 |
| 1.4 论文的结构安排 |
| 第2章 电子现金协议技术分析 |
| 2.1 可分电子现金 |
| 2.1.1 可分电子现金概念及性质 |
| 2.1.2 分析可分电子现金系统受到的攻击行为 |
| 2.1.3 经典二叉树模型及其花费原则分析 |
| 2.2 双线性对和椭圆曲线密码体制 |
| 2.2.1 双线性对 |
| 2.2.2 椭圆曲线上的离散对数问题 |
| 2.2.3 基于 ECC 的单轮零知识证明 |
| 2.3 电子商务协议形式化分析方法 |
| 2.3.1 电子商务协议形式化分析技术分类 |
| 2.3.2 典型的逻辑分析方法 |
| 2.3.3 协议分析的步骤 |
| 2.4 本章小结 |
| 第3章 节点均可花费的高效可分电子现金协议 |
| 3.1 问题的提出 |
| 3.2 构建一种新的节点均可花费二叉树模型和花费原则 |
| 3.2.1 新二叉树的构建 |
| 3.2.2 新的花费原则 |
| 3.3 构建可分电子现金模型 |
| 3.4 协议的关键算法和基本思想 |
| 3.4.1 基于双线性对的 CL 签名协议 |
| 3.4.2 节点优化计算方法 |
| 3.4.3 协议的基本思想 |
| 3.5 节点均可花费的高效可分电子现金协议的详细描述 |
| 3.5.1 系统参数的建立 |
| 3.5.2 取款协议 |
| 3.5.3 支付协议 |
| 3.5.4 存款协议 |
| 3.6 协议的分析 |
| 3.6.1 正确性 |
| 3.6.2 安全性 |
| 3.6.3 匿名性 |
| 3.6.4 不可伪造性 |
| 3.6.5 不可重复花费性 |
| 3.6.6 不可欺诈性 |
| 3.6.7 不可链接性 |
| 3.6.8 可追踪性 |
| 3.6.9 协议的效率 |
| 3.7 本章小结 |
| 第4章 可传递性的离线可分电子现金协议 |
| 4.1 问题提出 |
| 4.2 构建可传递性的可分电子现金模型 |
| 4.3 可传递性的离线可分电子现金协议的详细描述 |
| 4.3.1 协议初始化 |
| 4.3.2 开户协议 |
| 4.3.3 取款协议 |
| 4.3.4 支付协议 |
| 4.3.5 存款协议 |
| 4.3.6 追踪协议 |
| 4.4 安全性和效率分析 |
| 4.4.1 匿名性 |
| 4.4.2 不可伪造性 |
| 4.4.3 不可重复花费性 |
| 4.4.4 不可链接性 |
| 4.4.5 不可陷害性 |
| 4.4.6 效率分析 |
| 4.5 形式化分析 |
| 4.5.1 协议的提取 |
| 4.5.2 协议的分析 |
| 4.6 本章小结 |
| 第5章 多银行可分电子现金协议 |
| 5.1 问题提出 |
| 5.2 构建多银行可分电子现金模型 |
| 5.3 多银行可分电子现金协议的详细描述 |
| 5.3.1 系统初始化 |
| 5.3.2 成员加入 |
| 5.3.3 开户 |
| 5.3.4 取款协议 |
| 5.3.5 支付协议 |
| 5.3.6 存款协议 |
| 5.3.7 追踪协议 |
| 5.3.8 成员撤销 |
| 5.4 安全性和效率分析 |
| 5.4.1 匿名性 |
| 5.4.2 不可链接性 |
| 5.4.3 不可重复花费性 |
| 5.4.4 可追踪性 |
| 5.4.5 不可伪造性 |
| 5.4.6 效率分析 |
| 5.5 协议的形式化分析 |
| 5.5.1 协议的提取 |
| 5.5.2 协议的分析 |
| 5.5.3 分析总结 |
| 5.6 三类协议的总结 |
| 5.7 本章小结 |
| 第6章 多银行可分电子现金原型系统的实现 |
| 6.1 总体设计 |
| 6.1.1 煤炭电子交易的系统模型 |
| 6.1.2 开发平台和总体框架 |
| 6.1.3 功能模块划分 |
| 6.1.4 数据库设计 |
| 6.2 煤炭交易协议的实现 |
| 6.2.1 加密 |
| 6.2.2 开户 |
| 6.2.3 取款 |
| 6.2.4 支付 |
| 6.2.5 存款 |
| 6.2.6 银行审核 |
| 6.2.7 银行网关 |
| 6.3 原型系统性能测试及分析 |
| 6.4 本章小结 |
| 结论 |
| 参考文献 |
| 攻读博士学位期间承担的科研任务与主要成果 |
| 致谢 |
| 作者简介 |
四、基于椭圆曲线的多银行电子现金支付协议的研究（论文参考文献）
- [1]高效实用的E-cash机制研究[D]. 黎师良. 西华大学, 2020(01)
- [2]基于ECC无证书部分盲签名及其应用[D]. 曾丽. 西华大学, 2019(02)
- [3]数字签名中盲性和匿名性理论及其应用研究[D]. 程润辉. 青岛大学, 2017(06)
- [4]基于双线性对的多银行离线电子现金系统[J]. 茹秀娟,晋玉星. 开封大学学报, 2017(02)
- [5]基于无证书群签名方案的电子现金系统[J]. 梁艳,张筱,郑志明. 通信学报, 2016(05)
- [6]一种实用的群盲签名及其在电子现金系统中的应用[J]. 吴月修,王鑫,张晓琳,程相国,咸鹤群. 青岛大学学报(自然科学版), 2014(01)
- [7]云计算中基于TPM的多银行电子现金系统[J]. 朱变,朱海. 计算机应用研究, 2014(02)
- [8]云计算中支持隐私保护的多银行电子现金系统[J]. 朱变,王洪峰,朱海. 中原工学院学报, 2013(04)
- [9]盲签名理论分析与应用[D]. 李彪. 华东交通大学, 2013(07)
- [10]安全高效多银行的可分电子现金协议研究[D]. 侯贵宾. 燕山大学, 2012(05)