论文部分内容阅读
电子商务的快速发展加强了电子商务协议的新类型的需求，尤其对各种复杂协议的需求，这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性，研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安全目标，研究者们已经提出了几种标志性属性，其中之一是较著名的原子性，但这并不能完全描述电子商务协议的全部安全性定义。在[1]里，研究员对一项有研究价值的新属性进行了研究，称为“保护个人的利益”，并且提出一个手工验证的模型。该模型虽然有效，但是实用性较差。文章提出了一个基于模型检验这种技术的自