BZL

Finally , cyclo (-Ab 7-Aib-Phe ( 2-Me )-D-Pro-) is successfully prepared by using liquid phase peptide synthesis with Boc protection.

Boc -Ab7-Aib-Phe( 2-Me)-D-Pro-OBzl脱除两端保护得到线性肽链经过环化得到目标产物cyclo ( -Ab7-Aib-Phe ( 2-Me ) -D-Pro- ),收率0.8%.

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逻辑模型。

The protocol proves strong by using the factual system and being verified by the BZL logic.

通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。