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

作     者：季庆光 冯登国 

作者机构：中国科学院软件研究所信息安全工程研究中心北京100080 

基　　金：国家重点基础研究973发展规划No.G19990 35 80 2 国家杰出青年基金No.6 0 0 2 5 2 0 5~~ 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2001年第12卷第11期

页      码：1581-1585页

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

主 题 词：义互攻击 安全性 模态逻辑 认证协议 Woo-Lam协议 

学科分类：0810[工学-土木类] 08[工学] 0839[0839] 0835[0835] 081001[081001] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2001.11.001

馆 藏 号：203834070...