1、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
互联网摘选
2、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
