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

• 作者: 王良民 罗军舟 韩志耕
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 不可否认 增广CSP方法 公平性 时限性 形式化方法
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 8-18
• 页数: 11页
• 分类号: TP393
• 字数: 13695字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2008.10.003

摘要

提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法.检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性.结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性.最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军舟	东南大学计算机科学与工程学院	165	4086	26.0	60.0
2	王良民	东南大学计算机科学与工程学院	16	256	8.0	16.0
3	韩志耕	东南大学计算机科学与工程学院	8	139	6.0	8.0