数字现金造句

• 目前，在数字现金研究领域国外已有一些研究成果，国内尚处于学习国外技术的初级阶段。
• 该协议解决了数字现金匿名和可追踪性的矛盾，保证了数字现金的强安全性。
• 通过在电子交易系统的实际应用和bzl逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
• 目前应用较多的电子支付方式是信用卡和电子支票，但是随着基于纸张的经济向数字经济的转变，数字现金将成为主宰。
• 为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了bzl逻辑模型。
• 数字现金安全分析方面国内外都没有一个能够严格描述和验证数字现金协议的逻辑模型，基于这种背景，本课题的研究目的是设计一个安全的数字现金协议，实现一个简易电子交易系统来展示该协议的思想，并建立一个逻辑模型来形式化描述该协议且对其进行安全性分析。
• 作者所作的主要工作有： ( 1 )研究了基于大素数域上的椭圆曲线密码在加密解密、密钥交换、数字签名等方面的密码协议并分析了每种协议的安全性能； ( 2 )在现有基于身份的数字签名方案的基础上提出了基于身份的群签名系统并讨论了群签名在数字现金中的应用； ( 3 )给出了椭圆曲线密码在电子拍卖系统、密钥认证系统方面的实现方案。

• 数字现金的英语：digital cash