Institutional Repository
| 关于“为设计认证协议的一个简明逻辑”一文的注记 | |
| Alternative Title | Notes on 'A Simple Logic for Authentication Protocol Design' |
| 季庆光; 冯登国 | |
| 2001 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 12Issue:11Pages:1581-1585 |
| English Abstract | Buttyan等人提出了一个简洁的逻辑 ,他们把它用于改进 Woo- L am协议 ,并且未证明地声称 :改进后的协议是抗协议与自身的交互攻击的 .为表明他们的结论是不正确的 ,找到了改进协议的两个不同的攻击 ,并详细解释如何加以实现 .构造攻击的方式除了要求更细致之外 ,与 Debbabi等人的方式在本质上是相似的 .进一步的分析表明Debbabi等人的逻辑没有足够的能力推理交互攻击 ,该逻辑有待改进 |
| Indexed Type | CSCD |
| Keyword | 协议 交互攻击 安全性 模态逻辑 分析 |
| Department | 信息安全国家重点实验室 |
| Language | 英语 |
| CSCD ID | CSCD:727346 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1725 |
| Collection | 信息安全国家重点实验室 |
| Recommended Citation GB/T 7714 | 季庆光,冯登国. 关于“为设计认证协议的一个简明逻辑”一文的注记[J]. 软件学报,2001,12(11):1581-1585. |
| APA | 季庆光,&冯登国.(2001).关于“为设计认证协议的一个简明逻辑”一文的注记.软件学报,12(11),1581-1585. |
| MLA | 季庆光,et al."关于“为设计认证协议的一个简明逻辑”一文的注记".软件学报 12.11(2001):1581-1585. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 200112111581.pdf（310KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment