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.
定义了一个信任矩阵和一个动作集合，并将它们和逻辑规则一起引入有限状态自动机为协议参与者建模。
应用推荐