用串空间分析ZG乐观不可否认协议

摘要：

根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据公平交换协议的消息驱动特征,给出了两方不可否认协议的循环分析流程.分析了ZG乐观不可否认协议并发现了它的缺陷,这个缺陷同样存在于ZG在线TTP不可否认协议.分析结论中给出了该协议的安全执行需求和消息自由项成分的修正,并提示任何协议的设计应该避免消息中自由项的出现.本文的分析方法适用于其它两方公平交换协议.

关键词：串空间、ZG乐观不可否认协议、良序丛、自由消息项

所属期刊栏目：30

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

资助基金：上海高校选拔培养优秀青年教师科研专项基金slg05026

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

页数：共6页

页码：1988-1993