| 一种验证非否认协议的新方法 |
| |
| 引用本文： | 周勇, 朱梧槚. 一种验证非否认协议的新方法[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 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子与信息学报》浏览原始摘要信息 |
|
点击此处可从《电子与信息学报》下载免费的PDF全文 |
|
