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

作者：卜奎昊

来源：西北师范大学学报(自然科学版), 2010, (05): 40-44.

DOI：10.16783/j.cnki.nwnuz.2010.05.011

• 安全协议
• Helsinki协议
• BAN逻辑
• 串空间 security protocol
• Helsinki protocol
• BAN logic
• strand space

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

• 出版日期2010
• 单位淮阴师范学院