关于“为设计认证协议的一个简明逻辑”一文的注记
文献类型：期刊论文
| 作者 | 季庆光 ; 冯登国 |
| 刊名 | 软件学报
 |
| 出版日期 | 2001 |
| 卷号 | 12期号:11页码:1581-1585 |
| 关键词 | 协议 交互攻击 安全性 模态逻辑 分析 |
| ISSN号 | 1000-9825 |
| 其他题名 | Notes on 'A Simple Logic for Authentication Protocol Design' |
| 中文摘要 | Buttyan等人提出了一个简洁的逻辑 ,他们把它用于改进 Woo- L am协议 ,并且未证明地声称 :改进后的协议是抗协议与自身的交互攻击的 .为表明他们的结论是不正确的 ,找到了改进协议的两个不同的攻击 ,并详细解释如何加以实现 .构造攻击的方式除了要求更细致之外 ,与 Debbabi等人的方式在本质上是相似的 .进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击 ,该逻辑有待改进 |
| 收录类别 | CSCD |
| 语种 | 英语 |
| CSCD记录号 | CSCD:727346 |
| 公开日期 | 2010-05-26 |
| 源URL | [http://124.16.136.157/handle/311060/1725]  |
| 专题 | 软件研究所_信息安全国家重点实验室_期刊论文 |
| 推荐引用方式 GB/T 7714 | 季庆光,冯登国. 关于“为设计认证协议的一个简明逻辑”一文的注记[J]. 软件学报,2001,12(11):1581-1585. |
| APA | 季庆光,&冯登国.(2001).关于“为设计认证协议的一个简明逻辑”一文的注记.软件学报,12(11),1581-1585. |
| MLA | 季庆光,et al."关于“为设计认证协议的一个简明逻辑”一文的注记".软件学报 12.11(2001):1581-1585. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。