义互攻击相关硕士博士期刊学术论文 - 信丰网

义互攻击相关论文

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

Buttyan等人提出了一个简洁的逻辑,他们把它用于改进Woo-Lam协议,并且未证明地声称:改进后的协议是抗协议与自身的交互攻击的.为表......

期刊

义互攻击安全性模态逻辑认证协议 Woo-Lam协议 protocol interaction attack security modal logic

看过本文同时还关注