NS协议的形式化分析与改进

• 作者: 李之棠 石曙东 解云峰
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 安全协议 BAN逻辑 Needham-Schroeder协议
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 1-3
• 页数: 3页
• 分类号: TP393.08
• 字数: 2538字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2004.02.001

摘要

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

作者信息

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