一种安全协议的逻辑分析与改进

• 作者: 李芝棠 石曙东
• 来源期刊: 华中科技大学学报(自然科学版)
• 学科: 工学
• 关键词: 安全协议 BAN逻辑 Needham-Schroeder协议
• 年，卷（期）: 2004,（7）
• 页码范围: 4-6
• 页数: 3页
• 分类号: TP309
• 字数: 2555字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2004.07.002

摘要

采用BAN逻辑对著名的Needham-Schroeder(NS)协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性.分析结果表明,该协议只有增加初试假设,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标,并提出改进方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石曙东	华中科技大学计算机科学与技术学院	8	19	3.0	3.0
2	李芝棠	华中科技大学计算机科学与技术学院	36	142	6.0	10.0