| 不可否认协议分析的增广CSP方法 |
| |
| 引用本文： | 韩志耕,罗军舟,王良民. 不可否认协议分析的增广CSP方法[J]. 通信学报, 2008, 29(10): 8-18 |
| |
| 作者姓名： | 韩志耕 罗军舟 王良民 |
| |
| 作者单位： | 东南大学计算机科学与工程学院,江苏南京,210096 |
| |
| 基金项目： | 国家自然科学基金，江苏省自然科学基金，江苏省重点实验室基金，科技部国际科技合作项目 |
| |
| 摘 要： | 提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法.检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性.结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性.最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势.
|
| 关 键 词： | 不可否认 增广CSP方法 公平性 时限性 形式化方法 |
Extended-CSP based analysis of non-repudiation protocols |
| |
| HAN Zhi-geng,LUO Jun-zhou,WANG Liang-min. Extended-CSP based analysis of non-repudiation protocols[J]. Journal on Communications, 2008, 29(10): 8-18 |
| |
| Authors: | HAN Zhi-geng LUO Jun-zhou WANG Liang-min |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
