-
1、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
来源：互联网摘选 -
2、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
来源：互联网摘选
- 相关阅读
-
英镑用英语怎么说?今日英镑汇率是多少?
英语网 · 英语词汇
-
Gigi Hadid女儿4岁啦！美渣Zayn Malik罕见晒娃，网友泪目：爸爸好帅！
英语网 · 双语娱乐资讯
-
2022年剑桥商务英语（BEC）考试时间
英语网 · 商务英语
-
真人秀《潜行追踪》明星Harry Savage死亡，嫌疑人已被逮捕
英语网 · 双语娱乐资讯
-
英语寓言故事：刻舟求剑（Making a Mark on the Boat）
英语网 · 少儿英语故事
-
小李子50岁啦！生日派对防狗仔绝招曝光！
英语网 · 双语娱乐资讯