Title: | 网络认证协议攻击的非形式化分析 |
Author: | 李静
; 肖美华
|
Keyword: | 认证协议
; 密码协议
; 非形式化方法
|
Source: | 计算机工程与应用
|
Issued Date: | 2006
|
Issue: | 22, Pages:112-115,142 | Department: | 南昌大学信息工程学院,中国科学院软件研究所计算机科学重点实验室 南昌330029,北京100080
|
Abstract: | 随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。 |
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11824
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
网络认证协议攻击的非形式化分析.pdf(493KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
李静,肖美华. 网络认证协议攻击的非形式化分析[J]. 计算机工程与应用,2006-01-01(22):112-115,142.
|
|
|