认证协议的形式逻辑分析方法——BAN类逻辑综述

• 作者: 束妮娜 王亚弟
• 来源期刊: 计算机应用研究
• 关键词: 认证协议 BAN逻辑 扩展的BAN逻辑
• 年，卷（期）: 2002,（9）
• 所属期刊栏目: 综述评论
• 页码范围: 17-20
• 页数: 4页
• 分类号: TP363
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2002.09.005

摘要

介绍了最早的认证协议形式化分析方法--BAN逻辑及扩展的BAN逻辑,统称为BAN类逻辑.并通过分析比较,指出了各种扩展的BAN逻辑对原BAN逻辑的扩展和改进之处.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	中国人民解放军信息工程大学电子技术学院	4	31	3.0	4.0
2	束妮娜	中国人民解放军信息工程大学电子技术学院	1	10	1.0	1.0