论文部分内容阅读
公平交换协议是电子商务的关键技术．本文根据公平交换协议和串空间的特点，定义了丛最大（极大）结点、良序丛的概念．依据协议的消息驱动特征，建立了串空间结点标号的递归公平交换协议分析方法．分析了ZG协议并发现一个很多其它分析没有发现的缺陷，分析结果既肯定了本文方法的可用性又给出了一个具体的应用。
用串空间分析公平交换协议
【摘 要】
：
公平交换协议是电子商务的关键技术．本文根据公平交换协议和串空间的特点，定义了丛最大（极大）结点、良序丛的概念．依据协议的消息驱动特征，建立了串空间结点标号的递归公平交换协议
【机 构】
：
中国科学技术大学计算机科学系,中国科学院软件所信息安全国家重点实验室,中国科学院计算机语言信息工程研究中心
【出 处】
：
小型微型计算机系统
【发表日期】
：
2006年1期
其他文献
患者女,28岁.因顿服安非拉酮片500mg,两周后感觉胸闷、恶心、厌食、乏力.来门诊检查,体检:BP13.3/7.9kPa,心率100次/min,心率齐,心音低钝.临床诊断:可疑安非拉酮中毒.心电图
数学复习教学的核心是指导学生如何解题．从每年高考试卷来看，要解决的热点和难点问题基本没有变化，因此需要高三复习教学做得更有针对性．如何体现这一针对性？笔者以为，复习教学需要
提出了一个支持复杂应用的扩展工作流过程定义模型ScopePModel,它可以描述复杂结构的工作流流程,并且能够清晰地描述任务之间的控制流依赖关系和任务的补偿信息,表达出复杂工