Mobile
Log In Sign Up
Home > english-chinese > "数字现金" in Chinese

Chinese translation for "数字现金"

digital cash

Related Translations:
现金输送:  cash sending
现金基础:  cash basiscash fund
现金结算:  cash paymentcash settlementsettlement for cashsettlement of cash
普通现金:  general cash
小额现金:  petty cash
现金效应:  hard money effectpigoueffect
缺乏现金:  short of cash
现金收支:  cash deposit and withdrawalcash receipts and payments
库存现金:  cash holdingscash in handcash in holdcash in treasurycash in vaultcash intensitycash on hand reports dailyvault cashvault-cash
现金式:  cash method
Example Sentences:
1.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
该协议解决了数字现金匿名和可追踪性的矛盾,保证了数字现金的强安全性。
2.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逻辑的形式化验证,证明了提出的数字现金协议是一个强壮的协议。
3.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
目前应用较多的电子支付方式是信用卡和电子支票,但是随着基于纸张的经济向数字经济的转变,数字现金将成为主宰。
4.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逻辑模型。
5.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
数字现金安全分析方面国内外都没有一个能够严格描述和验证数字现金协议的逻辑模型,基于这种背景,本课题的研究目的是设计一个安全的数字现金协议,实现一个简易电子交易系统来展示该协议的思想,并建立一个逻辑模型来形式化描述该协议且对其进行安全性分析。
Similar Words:
"数字显微光密度计" Chinese translation, "数字显像管" Chinese translation, "数字显象效应" Chinese translation, "数字显装置" Chinese translation, "数字显字法" Chinese translation, "数字限幅" Chinese translation, "数字线" Chinese translation, "数字线带" Chinese translation, "数字线对增益" Chinese translation, "数字线对增益系统" Chinese translation