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

【文件属性】：

文件名称：安全协议形式化分析方法的融合性研究 (2010年)

文件大小：867KB

文件格式：PDF

更新时间：2024-05-15 02:55:44

自然科学 论文

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