BAN逻辑在形式化协议分析中的应用

• 作者: 金葆华
• 来源期刊: 黑龙江科技信息
• 关键词: BAN逻辑 Yahalom协议 缺陷 逻辑分析
• 年，卷（期）: 2009,（28）
• 所属期刊栏目: 信息科学
• 页码范围: 98-99
• 页数: 2页
• 字数: 2718字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-1328.2009.28.096

摘要

BAN类逻辑是一款非常优秀的形式化分析工具.它能够帮助设计和分析各种安全协议.介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻辑现存在的缺陷.同时用BAN逻辑形式化分析了Yahalom协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金葆华	贵州大学计算机科学与信息学院	4	5	1.0	2.0