| 一种验证非否认协议的新方法 |
| |
| 引用本文： | 周勇, 朱梧槚. 一种验证非否认协议的新方法[J]. 电子与信息学报, 2007, 29(10): 2493-2497. doi: 10.3724/SP.J.1146.2006.00384 |
| |
| 作者姓名： | 周勇 朱梧槚 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016;南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 摘 要： | 为了描述非否认协议中的各种不确定因素，在Kailar逻辑系统中引入了表示缺省信息的否定词，以及相应的推理机制。提出了安全协议验证的新方法，主要特点是：可以直接对协议的动态运行过程进行推理；推理具有非单调性；避免过多的理想化假设；可以分析含有多个子协议的非否认协议，以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例，验证了该协议在运行一次时具有可追究性，但多次运行时存在攻击。
|
| 关 键 词： | 非否认协议 Kailar逻辑 协议验证 |
| 文章编号： | 1009-5896（2007）10-2493-05 |
| 收稿时间： | 2006-03-29 |
| 修稿时间： | 2006-03-29 |
A New Verification Method for Non-repudiation Protocol |
| |
| Zhou Yong, Zhu Wu-jia. A New Verification Method for Non-repudiation Protocol[J]. Journal of Electronics & Information Technology, 2007, 29(10): 2493-2497. doi: 10.3724/SP.J.1146.2006.00384 |
| |
| Authors: | Zhou Yong Zhu Wu-jia |
| |
| Affiliation: | College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China |
| |
| Abstract: | |
| |
| Keywords: | Non-repudiation protocol Kailar logic Protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载全文 |
