YAHALOM协议相关论文
串空间是一种基于定理证明的，新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足，对其进行改进，提出了一种新的Yahalom协议，本......
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协......
终端间视频通信应用Yahalom协议将保证通信的安全性。分析了Yahalom协议的基本原理,并基于此原理对可视电话的视频安全通信进行了......
BAN类逻辑是一款非常优秀的形式化分析工具。它能够帮助设计和分析各种安全协议。介绍了BAN逻辑的产生、构建、分析步骤,指出BAN逻......
对Yahalom协议的安全性进行了较详细的分析,发现Yahalom协议遭受攻击的主要原因是协议中交换的消息无定长、消息的相似性及对称性;......
Yahalom协议及BAN对Yahalom协议的改进协议都存在着安全缺陷。采用串空间模型,运用"理想"和"诚实"作为工具对Yahalom协议的安全性......
作为一种用来分析密码协议的最具代表性的定理证明技术，串行空间理论已被成功地用来分析许多典型的密码协议。其理论中的理想和诚实......
针对无法运用认证测试方法中的输入测试对Yahalom协议进行验证的问题,提出一种基于间接认证链的输入测试证明方法。该方法引入间接......
研究Yahalom协议及其变体，发现该系列协议存在的时序缺陷，给出一种利用此缺陷攻击Yahalom协议及其变体的方法。尽管Yahalom协议历经......
