网络认证协议攻击的非形式化分析

• 作者: 李静 肖美华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 认证协议 密码协议 非形式化方法
• 年，卷（期）: 2006,（22）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 112-115,142
• 页数: 5页
• 分类号: TP393
• 字数: 6146字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.22.035

摘要

随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题.协议安全性分析包括非形式化和形式化两种方法.论文通过对Woo-Lam,He lsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	中国科学院软件研究所计算机科学重点实验室	6	129	4.0	6.0
2	李静	南昌大学信息工程学院	148	949	16.0	23.0