电子商务的安全和原子、模型、协议和验证

电子商务的流行与接受主要取决于下述属性：安全、原子、隐私与匿名．对于需要安全、原子和隐私等3个属性的物理商品的电子交易还没有合适的电子商务协议．基于此，提出了一个称为ELC的电子商务模型，ELC模型模拟了国际贸易中的电子信用证．然后提出了一个安全、原子的电子商务协议．最后，在有一个入侵者的情况下，通过使用BAN风格的逻辑证明所期望的属性分析了协议的强度和正确性