We analyse the security of e-commerce protocols in failure environments using the model checking approach.

本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。

youdao

We analyse the security of e-commerce protocols in failure environments using the model checking approach.

本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。

youdao