关于“为设计认证协议的一个简明逻辑”一文的注记
| Data(s) |
2001
|
|---|---|
| Resumo |
Buttyan等人提出了一个简洁的逻辑 ,他们把它用于改进 Woo- L am协议 ,并且未证明地声称 :改进后的协议是抗协议与自身的交互攻击的 .为表明他们的结论是不正确的 ,找到了改进协议的两个不同的攻击 ,并详细解释如何加以实现 .构造攻击的方式除了要求更细致之外 ,与 Debbabi等人的方式在本质上是相似的 .进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击 ,该逻辑有待改进 |
| Identificador | |
| Idioma(s) |
英语 |
| Fonte |
季庆光; 冯登国.关于“为设计认证协议的一个简明逻辑”一文的注记,软件学报,2001,12(11):1581-1585 |
| Palavras-Chave | #协议 #交互攻击 #安全性 #模态逻辑 #分析 |
| Tipo |
期刊论文 |
