用串空间分析ZG乐观不可否认协议 |
| |
引用本文: | 沈海峰. 用串空间分析ZG乐观不可否认协议[J]. 小型微型计算机系统, 2009, 30(10) |
| |
作者姓名: | 沈海峰 |
| |
作者单位: | 上海理工大学计算机与电气学院,上海,200093 |
| |
基金项目: | 上海高校选拔培养优秀青年教师科研专项基金 |
| |
摘 要: | 根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据公平交换协议的消息驱动特征,给出了两方不可否认协议的循环分析流程.分析了ZG乐观不可否认协议并发现了它的缺陷,这个缺陷同样存在于ZG在线TTP不可否认协议.分析结论中给出了该协议的安全执行需求和消息自由项成分的修正,并提示任何协议的设计应该避免消息中自由项的出现.本文的分析方法适用于其它两方公平交换协议.
|
关 键 词: | 串空间 ZG乐观不可否认协议 良序丛 自由消息项 |
Analyzing ZG Optimistic Non-repudiation Protocol with Strand Spaces |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|