可追究性是安全电子商务协议必须遵循的重要原则之一，乐观公平交换协议是一类重要的电子商务协议。
Accountability is one of main properties that security electronic commerce protocols must satisfy. Optimistic fair exchange protocols are important electronic commerce protocols.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
电子商务中的安全协议主要采用SSL协议和SET协议。
E-Commerce security protocol usually adopts SSL and SET protocol.
应用推荐