认证协议形式分析的讨论

• 作者: 徐胜波 王育民 田建波
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: BAN逻辑 认证协议 安全
• 年，卷（期）: 1998,（3）
• 所属期刊栏目: 研究简报
• 页码范围: 380-382
• 页数: 3页
• 分类号: TN918.1
• 字数: 1713字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.1998.03.026

摘要

Mao Wenbo提出了对一种认证协议进行分析时更形式化的BAN逻辑,文中对该逻辑进行了分析,并通过举例指出了其局限性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王育民	西安电子科技大学通信工程学院	244	2283	26.0	36.0
2	徐胜波	西安电子科技大学通信工程学院	2	13	1.0	2.0
3	田建波	西安电子科技大学通信工程学院	2	0	0.0	0.0