数字现金协议及逻辑验证

发布时间：2021-04-17 16:16

　　电子商务的核心是电子支付，支付信息的泄露和受损将直接损害企业和用户的切身利益，所以安全性是实现电子支付要考虑的最关键的问题。目前应用较多的电子支付方式是信用卡和电子支票，但是随着基于纸张的经济向数字经济的转变，数字现金将成为主宰。 目前，在数字现金研究领域国外已有一些研究成果，国内尚处于学习国外技术的初级阶段。数字现金安全分析方面国内外都没有一个能够严格描述和验证数字现金协议的逻辑模型，基于这种背景，本课题的研究目的是设计一个安全的数字现金协议，实现一个简易电子交易系统来展示该协议的思想，并建立一个逻辑模型来形式化描述该协议且对其进行安全性分析。 本文提出了一类脱线式数字现金协议。该协议解决了数字现金匿名和可追踪性的矛盾，保证了数字现金的强安全性。为了详细展示协议的思想，作者设计了一个基于Internet的简易电子交易系统。为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。运用该逻辑，本文对数字现金的安全、匿名和可追踪性等性质进行推理验证。通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了... 

【文章来源】：国防科技大学湖南省 211工程院校 985工程院校

【文章页数】：58 页

【学位级别】：硕士

【部分图文】：

数字现金协议模型

【参考文献】：
期刊论文
[1]一种脱线式数字现金系统[J]. 张玲,殷建平,刘湘辉,许江.  计算机工程与科学. 2001(06)
[2]电子商务技术及其安全问题[J]. 唐礼勇,陈钟.  计算机工程与应用. 2000(07)
[3]电子商务技术的发展与研究[J]. 王少锋,王克宏.  计算机工程与应用. 2000(04)
[4]SET协议中问题的分析及解决方案[J]. 陈庆锋,白硕,王驹,张师超,隋立颖.  计算机学报. 2000(02)



本文编号：3143754