We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
It has been proven by instances that the extended model and method can better analyze and describe the security of e-commerce security protocol, and be applied in wider fields.
实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性，并能够应用于更广泛的领域。
In the light of the economic security and risks existing in e-commerce, the industrial safety checklist can be used in thee-commerce for estimating the security of e-commerce platform.
针对电子商务中存在的经济安全和风险，可将工业安全检查表法应用于电子商务中以评价电子商务平台的安全性。
This paper introduces the basic concepts of SET, the primary technologies involved and the running procedure, at the same time it analyses how SET implement the security of e - commerce.
这里详细介绍了SET的基本概念、所使用的主要技术以及运行的过程，同时分析了SET是怎样解决网上交易安全性的。
This paper introduces the basic concepts of SET, the primary technologies involved and the running procedure, at the same time it analyses how SET implement the security of e - commerce.
这里详细介绍了SET的基本概念、所使用的主要技术以及运行的过程，同时分析了SET是怎样解决网上交易安全性的。
应用推荐