安全协议形式化分析方法的融合性研究

• 作者: 卜奎昊
• 来源期刊: 西北师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 Helsinki协议 BAN逻辑 串空间
• 年，卷（期）: 2010,（5）
• 页码范围: 40-44
• 分类号: TP393.08
• 字数: 4708字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-988X.2010.05.011

摘要

分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卜奎昊	淮阴师范学院计算机科学与技术学院	5	4	1.0	2.0