几种电子现金方案的构建与分析

来源 :南开大学 | 被引量 : 0次 | 上传用户:fangfang_936
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着网络的发展,电子商务的优势渐现,但在支付环节,交易双方受到了传统货币对交易场所的限制,货币电子化成为电子商务发展的必然趋势。   作为传统现金的电子等价物,电子现金具有使用方便、不泄露消费隐私的特点,受到消费者喜爱,然而,电子现金使用环境的开放性和易于复制的特点,使得电子现金方案的设计较为复杂,方案必须建立在各种密码学技术基础上,以保证使用过程的安全.电子现金自1982年由David Chaum首次提出以来,已历经二十余年,有大量的研究成果发表,也有一些产品投入使用.作为下一代货币形式,电子现金研究与发展的脚步从未停止,设计安全、实用的电子现金方案一直是学术界和工业界共同的关注点。   本文总结了电子现金的相关概念,归纳出常见的电子现金特性及主要实现机制,并对几种典型的电子现金方案作以比较.在此基础上,构建了几种具有不同特性和应用价值的电子现金方案,并提出了促进电子现金发展的因素和可能的发展方向。   本文的主要研究内容与创新点包括:   1.提出了一种支持延时付款的电子现金方案,该方案利用基于身份的加密技术,实现了能保障收款方如期收款的延时付款功能.此外,在考察以往电子现金方案安全模型的基础上,提出了一种不再将银行视为可信方的更强的安全模型,银行的行为可以接受公众的检验.我们的方案在该模型下是安全的。   2.条件电子现金在证券交易、市场预测领域和在线博彩方面有实际应用价值,但现有的条件电子现金只支持一个简单条件.我们构建了支持多个条件的电子现金方案,多个条件可以进行与、或等运算来构成复杂的复合条件,而发布方只需根据每个简单条件的判断发布信息.该方案中的电子现金还可多次传递使用。   3.已有文献提出的方案可分为在线支付方式和离线支付方式,在线电子现金方案实现简单,可事先预防重复消费,但银行负载过重,银行成为通信的瓶颈;离线电子现金方案克服了通信瓶颈问题,但只能事后检测重复消费,两种方式各有优势,我们利用陈晓峰等提出的双线性对上的限制性部分盲签名构造了一种在/离线用户透明的电子现金方案,方案根据用户的信誉值决定采用在线支付还是离线支付,在/离线的选择对支付用户是透明的。   4.构造了一种离线的电子保付支票方案,实现了物理保付支票可精确花费等优点.借助可证明随机函数实现了可以一次提取多次消费的电子支票簿,大大提高了系统的效率,借助短签名降低了系统通信和存储代价,借助“观察者”实现事前避免重复消费,方案在CDL假设和q-DBDHI假设下是安全的。   5.引入顺序图描述安全协议,提出实体框架模型分析电子现金协议.通过实体框架,可以确定协议各参与方以及敌手的能力、明确匿名性等安全特性的语义含义,清晰地对电子现金这种复杂协议进行形式化分析,
其他文献
随着经济的发展,合作伙伴的选择已成为供应链管理中的一个重要环节,合理的选择合作伙伴可以帮助企业降低成本并且提高竞争力.在现实生活中,当与一些从未合作过的供应商建立合作关系时,由于没有历史依据可依赖或者主观因素的存在,从而使得该类决策问题存在着一定的非决定性.本文用不确定理论这一理论工具来研究在不确定环境下考虑选择单供应商和同时选择多供应商这两种情况下的企业合作伙伴选择问题.当企业的订购量不是很大,
本学位论文研究了三类具有可裂性质的的半群,分为相对独立的三章。 第一章,主要研究几乎可裂IC拟适当半群。首先,在介绍了一些基本的概念之后,我们给出了可裂IC拟适当幺半群的
随着零售业态的发展和创新,零售商和制造商之间的关系逐渐发生变化。市场力量越来越向零售商倾斜,零售商对市场的控制力和影响力随之增强。在这种情况下,零售商开始考虑自己
本学位论文研究了有限反射群,分为三章: 第一章,主要介绍了本论文的一些概念。我们介绍了反射群和Weyl群的相关知识,并指出了有限Coxeter群与Weyl群之间的关系。最后我们还介
广义逆理论一直是矩阵理论中活跃的研究领域.这不仅是因为它自身有很高的理论价值,更重要的是它在数理统计、系统理论、有限马尔可夫过程、差分方程组、人口增长模型和最优化
本文讨论了半线性抛物型积分微分方程的半离散有限体积元方法。文章首先给出了半线性抛物型积分微分方程的弱形式,然后对空间进行了三角剖分,构造了线性有限元空间,建立了有限体
孤立子方程作为无穷维可积系统,与有限维可积(Hamilton)系统之间的联系也一直是人们感兴趣的研究课题. 著名数学家Ablowitz和Flaschka曾猜想:孤立子方程可通过某种约化得到有限维
学位
脉冲现象和时滞现象在现代科技各领域的实际问题中是普遍存在的.脉冲微分方程和时滞微分方程比没有脉冲和时滞的微分方程能更真实地反映这些发展过程,它最突出的特点是能够充
Buhagiar和Miwa定义了仿紧映射,次仿紧映射,亚紧映射和集式正规映射,并在一定分离公理条件下给出了这些映射的一些等价刻划。陈海燕又利用闭包保持闭加细,内核保持加细进一步刻划