-
题名用串空间分析ZG乐观不可否认协议
- 1
-
-
作者
沈海峰
-
机构
上海理工大学计算机与电气学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2009年第10期1988-1993,共6页
-
基金
上海高校选拔培养优秀青年教师科研专项基金(slg05026)资助
-
文摘
根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据公平交换协议的消息驱动特征,给出了两方不可否认协议的循环分析流程.分析了ZG乐观不可否认协议并发现了它的缺陷,这个缺陷同样存在于ZG在线TTP不可否认协议.分析结论中给出了该协议的安全执行需求和消息自由项成分的修正,并提示任何协议的设计应该避免消息中自由项的出现.本文的分析方法适用于其它两方公平交换协议.
-
关键词
串空间
zg乐观不可否认协议
良序丛
自由消息项
-
Keywords
strand spaces
zg optimistic non-repudiation protocol
well-ordered bundle
free message term
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名ZG离线TTP公平非否认协议的一种新改进
- 2
-
-
作者
杨姗媛
朱建明
-
机构
广东工业大学商学院
中央财经大学信息学院
-
出处
《计算机应用研究》
CSCD
北大核心
2010年第12期4656-4658,共3页
-
文摘
针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。
-
关键词
zg协议
离线TTP
不可否认
公平性
时限性
-
Keywords
zg protocol
off-line TTP
non-repudiation
fairness
timeliness
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
