| 关于“为设计认证协议的一个简明逻辑”一文的注记 |
| 其他题名 | Notes on 'A Simple Logic for Authentication Protocol Design'
|
| 季庆光; 冯登国
|
| 2001
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 12期号:11页码:1581-1585 |
| 摘要 | Buttyan等人提出了一个简洁的逻辑 ,他们把它用于改进 Woo- L am协议 ,并且未证明地声称 :改进后的协议是抗协议与自身的交互攻击的 .为表明他们的结论是不正确的 ,找到了改进协议的两个不同的攻击 ,并详细解释如何加以实现 .构造攻击的方式除了要求更细致之外 ,与 Debbabi等人的方式在本质上是相似的 .进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击 ,该逻辑有待改进 |
| 收录类别 | CSCD
|
| 关键词 | 协议
交互攻击
安全性
模态逻辑
分析
|
| 部门归属 | 信息安全国家重点实验室
|
| 语种 | 英语
|
| CSCD记录号 | CSCD:727346
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论