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