一种验证非否认协议的新方法

• 作者: 周勇 朱梧槚
• 来源期刊: 电子与信息学报
• 学科: 工学
• 关键词: 非否认协议 Kailar逻辑 协议验证
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 论文
• 页码范围: 2493-2497
• 页数: 5页
• 分类号: TP309
• 字数: 4670字
• 语种: 中文

摘要

为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制.提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性.文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学信息科学与技术学院	40	363	8.0	18.0
2	周勇	南京航空航天大学信息科学与技术学院	47	321	8.0	16.0