不可否认协议分析的增广CSP方法

被引:5
作者
韩志耕
罗军舟
王良民
机构
[1] 东南大学计算机科学与工程学院
关键词
不可否认; 增广CSP方法; 公平性; 时限性; 形式化方法;
D O I
暂无
中图分类号
TP393.08 [];
学科分类号
0839 ; 1402 ;
摘要
提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性。结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性。最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势。
引用
收藏
页码:8 / 18
页数:11
相关论文
共 3 条
[1]   不可否认协议时限性的形式化分析 [J].
黎波涛 ;
罗军舟 .
软件学报, 2006, (07) :1510-1516
[2]  
Timed CSP: A Retrospective[J] . Electronic Notes in Theoretical Computer Science . 2006
[3]   A game-based verification of non-repudiation and fair exchange protocols [J].
Kremer, Steve ;
Raskin, Jean-François .
Journal of Computer Security, 2003, 11 (03) :399-429