Institutional Repository
| 网络认证协议攻击的非形式化分析 | |
| 李静; 肖美华 | |
| 2006 | |
| Source | 计算机工程与应用
 |
| Issue | 22Pages:112-115,142 |
| English Abstract | 随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。 |
| Keyword | 认证协议 密码协议 非形式化方法 |
| Department | 南昌大学信息工程学院,中国科学院软件研究所计算机科学重点实验室 南昌330029,北京100080 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11824 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 李静,肖美华. 网络认证协议攻击的非形式化分析[J]. 计算机工程与应用,2006(22):112-115,142. |
| APA | 李静,&肖美华.(2006).网络认证协议攻击的非形式化分析.计算机工程与应用(22),112-115,142. |
| MLA | 李静,et al."网络认证协议攻击的非形式化分析".计算机工程与应用 .22(2006):112-115,142. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 网络认证协议攻击的非形式化分析.pdf（493KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment