Fairness is the basic requirement of E-Commerce protocols.
公平性是电子商务协议的基本安全要求。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
We extend finite state automata with logic rules, trust matrix and actions of principals to analyze E-commerce protocols.
定义了一个信任矩阵和一个动作集合，并将它们和逻辑规则一起引入有限状态自动机为协议参与者建模。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
These works indicate that the alternating-time temporal logic (ATL) logic based on game is more suit-able to describe and analyze complex e-commerce protocols than traditional CTL.
结果表明基于博弈的AT L逻辑比传统的基于计算树逻辑(CTL)更适合于描述和分析复杂电子商务协议。
The first generation of CA was set up by SETCO based on SET protocols, serving the B2C e-commerce hierarchy.
第一代CA由SETCO公司建立，以SET协议为基础，服务于B2C电子商务模式的层次性结构。
E-Commerce security protocols based on XML are discussed in the paper.
本文主要对基于XML的电子商务安全协议进行了研究。
E-Commerce security protocols based on XML are discussed in the paper.
本文主要对基于XML的电子商务安全协议进行了研究。
应用推荐