一个安全、原子的电子商务协议及其形式化验证

摘要：

电子商务的普及与接受主要取决于下述属性的解决:安全、原子、隐私与匿名.形式化描述和分析是描述电子商务协议并验证它们的属性的有效方法.面向物理商品交易的电子商务协议需要具备3个属性:安全、原子和隐私.介绍了一个安全、可靠的电子商务协议BEARCAT及其形式化描述,并在有入侵者的情况下,通过用BAN类型的逻辑证明所期望的属性的方式对协议的强度和正确性作了形式化分析.

关键词：电子商务、原子、安全、隐私

所属期刊栏目：37

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

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

页数：共5页

页码：869-873