用串空间分析公平交换协议

摘要：

公平交换协议是电子商务的关键技术.本文根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据协议的消息驱动特征,建立了串空间结点标号的递归公平交换协议分析方法.分析了ZG协议并发现一个很多其它分析没有发现的缺陷,分析结果既肯定了本文方法的可用性又给出了一个具体的应用.

关键词：公平交换协议、串空间、良序丛、丛最大结点

所属期刊栏目：27

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

资助基金：中国科学院资助项目60373048

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

页数：共7页

页码：62-68