期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
一种离线TTP公平非否认协议的安全性分析方法 被引量:2
1
作者 刘冬梅 卿斯汉 +1 位作者 马恒太 李树仁 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期656-665,共10页
给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认... 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足. 展开更多
关键词 离线TTP 公平非否认协议 公平 否认 时效性
在线阅读 下载PDF
ZG离线TTP公平非否认协议的安全性分析及改进 被引量:1
2
作者 刘冬梅 卿斯汉 +1 位作者 李鹏飞 李尚杰 《通信学报》 EI CSCD 北大核心 2009年第S2期44-51,共8页
对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。 展开更多
关键词 公平非否认协议 否认 公平 时限量
在线阅读 下载PDF
Kim公平非否认协议的改进
3
作者 潘菊 朱建明 《计算机工程与应用》 CSCD 北大核心 2009年第4期102-104,148,共4页
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。
关键词 公平非否认协议 KAILAR逻辑 协议分析
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部