数字现金 meaning in English
digital cash
Examples
- A kind of off - line digital protocol is put forward in this article , which removes the contradiction between anonymity and tracing . furthermore , it strengthens the security of digital - cash
该协议解决了数字现金匿名和可追踪性的矛盾，保证了数字现金的强安全性。 - Using bzl logic , security , anonymity and tracing ability of the digital - cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic
通过在电子交易系统的实际应用和bzl逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。 - Now credit cards and electronic cheques are widely used , but with the transition from paper economy to digital economy , digital - cash will certainly become the main approach of electronic payment
目前应用较多的电子支付方式是信用卡和电子支票，但是随着基于纸张的经济向数字经济的转变，数字现金将成为主宰。 - Then a simple e - dealing system is devised to show the thoughts of the protocol . in order to formalize and verify the protocol , bzl logic model is built , which based on first - order logic and introduces many - sorted , dynamic and non - monotony logic
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了bzl逻辑模型。 - In the field of verifying digital - cash , no good logic model describing and verifying a digital cash protocol has been brought forward either abroad or at home . in this background , the contents and purpose of my researches are to design a secure digital - cash protocol , devising a simple e - dealing system and building a logic model
数字现金安全分析方面国内外都没有一个能够严格描述和验证数字现金协议的逻辑模型，基于这种背景，本课题的研究目的是设计一个安全的数字现金协议，实现一个简易电子交易系统来展示该协议的思想，并建立一个逻辑模型来形式化描述该协议且对其进行安全性分析。