保护个人的利益——电子商务协议新属性的自动验证

摘要：

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

关键词：电子商务协议、自动验证、模型检验

所属期刊栏目：40

分类号：TP393(计算技术、计算机技术)

在线出版日期：2004-06-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：153-155,226