SET协议系统缺陷及其改进方案

电子商务的流行与接受主要取决于下述属性:安全、原子、匿名和不可否认性。文章对现在流行的安全电子交易SET标准进行分析,指出SET协议存在不满足数字商品交易的原子性以及确认发送原子性等缺陷。并在原有SET基础上对其协议流程进行改进,使其不仅具有交易原子性,而且还使用交易双方具有不可否认性以及公平交易等特点。

SET协议系统缺陷及其改进方案

文章对近年来流行的安全电子交易协议SET标准进行研究,指出该协议不能满足商品交易原子性和确认发送原子性。该文在原有协议的基础上对其进行了改进,改进后的方案采用商家额外向收单行发送顾客所购商品信息和自己随机生成密钥的方式来保证交易的公平性,使其不仅满足交易的原子性,而且还具有不可否认性的特点。

一种基于SVO逻辑的新形式化验证方法

通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点。SVO逻辑以其完善、简洁的特点在协议验证中被广泛应用。文中通过典型实例分析,指出SVO逻辑在分析电子商务交易协议中存在的局限与不足,并在此分析基础上引入交易协议的动态性等概念。对原有SVO逻辑分析框架进行扩展,提出了一种新的适用于分析电子商务交易协议的形式化验证方法。新方法不仅可以静态验证协议的不可否认性,而且可以动态验证协议的原子性。最后,给出了该方法对典型交易协议的验证实例。

电子商务协议研究综述

电子商务协议是电子商务实施的技术基础 .对电子商务协议研究进行综述 ,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模 )