Needham Schroeder协议的安全缺陷与改进

• 作者: 李之棠 石曙东
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 BAN逻辑 Needham-Schroeder协议
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 136-137,189
• 页数: 3页
• 分类号: TP393.04|TP393.08
• 字数: 2743字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.01.044

摘要

随着网络的发展协议的安全性越来越受到人们的关注,现在国际上的热点集中在对安全协议的形式化验证方面.通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷的结论并提出改进方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李之棠	华中科技大学计算机学院	141	1747	22.0	36.0
2	石曙东	华中科技大学计算机学院	28	41	4.0	4.0