验证电子商务协议的新逻辑分析方法

摘要：

通过典型实例分析,发现并指出SVO逻辑在验证电子商务协议中存在的缺陷,并在此基础上,充分考虑交易信道的可靠性和交易实体的诚实情况,对其分析框架进行扩展,提出一种验证电子商务交易协议的新逻辑分析方法.新逻辑分析方法符合电子商务协议运行特征,不仅可以静态验证协议的不可否认性,而且可以动态验证协议的公平性.同时,对协议的分析只依赖协议的运行环境,不需人为引入初始化假设,是一种更为严密的形式化分析方法.最后,以经典协议对新方法的正确性、有效性进行验证.

关键词：交易协议、逻辑分析、公平性、电子商务

所属期刊栏目：24

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

资助基金：国家自然科学基金资助项目70501033;国家自然科学基金重点资助项目70031020;广东省自然科学基金资助项目5300984

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

页数：共7页

页码：32-38