关于“为设计认证协议的一个简明逻辑”一文的注记

摘要

Buttyan等人提出了一个简洁的逻辑,他们把它用于改进Woo-Lam协议,并且未证明地声称:改进后的协议是抗协议与自身的交互攻击的.为表明他们的结论是不正确的,找到了改进协议的两个不同的攻击,并详细解释如何加以实现.构造攻击的方式除了要求更细致之外,与Debbabi等人的方式在本质上是相似的.进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击,该逻辑有待改进.