加入时间因素的Needham-Schorder协议及其形式化分析

• 作者: 李大兴 赵华伟
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 时间戳 BAN逻辑 非否认
• 年，卷（期）: 2005,（36）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 108-110,134
• 页数: 4页
• 分类号: TP39
• 字数: 4536字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.36.035

摘要

在安全数据的通讯中,数据发送和接收的非否认十分重要.文章在克服Needham-Schorder协议缺陷的基础上,提出了一种基于时间戳的改进方案,该方案有效地解决了可信中心的性能瓶颈问题,是一个更为实际的安全协议,此外通过对其进行形式化分析,证明了该协议可以抵抗参加协议各主体的否认攻击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李大兴	山东大学网络信息安全研究所	97	1037	17.0	28.0
2	赵华伟	山东大学网络信息安全研究所	14	93	4.0	9.0