一种离线TTP公平非否认协议的安全性分析方法

摘要：

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.

关键词：离线TTP、公平非否认协议、公平性、非否认性、时效性

所属期刊栏目：48

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

资助基金：国家自然科学基金项目60970135;国家科技支撑计划重点项目2006BAC18B06;中国科学院知识创新工程重要项目KGCX2-YW-125

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

页数：共10页

页码：656-665