BAN逻辑成立的前提研究.pdfVIP

第14次全国计算机安全学木交流会 第5章 妥夸4}人 1999.7 BAN逻辑成立的前提 许剑卓 戴英侠 左英男 中国元}学技术大学研究生院(北5:信拿安全}E家重点实验室 摘要:BAN逻辑是用于分析密码协议安全性的一种 世界的信任模}Fj，在类BAN逻辑中尚米意识到BAN逻 形式化工具，但是BAN逻辑中的推理法则只有在一定假 辑存在这 问题- 设的情况下才是正确的本文分析了BAN逻辑成立所依 本文第三音厂分简单介绍BAN逻辑中使用的符号及 赖的假设并指出类BAN逻辑中的信任模型无法反映现 其含义第三部分逐条分析BAN逻辑的各个推理法则并 实中的信任关系 指出这些法则成立的前提，同时还指出部分改正办法 最后在第三部分总结并指出BAN逻辑中最根本的两个 一、简介 缺陷，这两个缺陷在类BAN逻辑中还没有得到改