| 基于扩展CS逻辑的非否认协议形式化分析方法 |
| |
| 引用本文： | 王鹃,刘珺,张焕国.基于扩展CS逻辑的非否认协议形式化分析方法[J].计算机科学,2010,37(5):49-52. |
| |
| 作者姓名： | 王鹃 刘珺 张焕国 |
| |
| 作者单位： | 武汉大学计算机学院,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金(60673071)资助 |
| |
| 摘 要： | 将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名的重放攻击漏洞,不满足强非否认性。验证过程也表明,扩展后的CS逻辑能够有效地描述和分析具有时限性的非否认协议的安全性质。
|
| 关 键 词： | 非否认协议 CS逻辑 时限性 非否认性 公平性 |
| 收稿时间： | 6/4/2009 12:00:00 AM |
| 修稿时间： | 9/7/2009 12:00:00 AM |
Extended CS Logic for Analyzing Non-repudiation Protocols |
| |
| WANG Juan,LIU Jun,ZHANG Huan-guo.Extended CS Logic for Analyzing Non-repudiation Protocols[J].Computer Science,2010,37(5):49-52. |
| |
| Authors: | WANG Juan LIU Jun ZHANG Huan-guo |
| |
| Affiliation: | Computer School/a>;Wuhan University/a>;Wuhan 430072/a>;China |
| |
| Abstract: | This paper presented an extension of CS logic which is a type of knowledge logic and can be used to analyze the properties of non-reputation protocols with timeliness.Using the extended logic,we proved the improved ZG protocol and found a reply attack on signature message of the protocol.As a result,it is not satisfied with non-repudiation property.The example shows the non-reputation protocols with timeliness can be effectively analyzed by the extended CS logic. |
| |
| Keywords: | Non-repudiation protocol CS logic Timeliness Non-reputation Fairness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
