Yahalom
共 2 篇文章
Yahalom 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 2 篇文章，持续更新中。
Yahalom协议及其变体的时序缺陷分析与改进
研究Yahalom协议及其变体，发现该系列协议存在的时序缺陷，给出一种利用此缺陷攻击Yahalom协议及其变体的方法。尽管Yahalom协议历经几次修改，且被证明不存在密钥泄露问题，但Yahalom协
提出了Strand空间模型中证明安全协议的一个新思路
提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的
证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对
Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三
方认证协议的证明，并且它还使得证明过程简洁而直观。