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

摘要：

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

关键词：认证协议、密码协议、非形式化方法

所属期刊栏目：42

分类号：TP393(计算技术、计算机技术)

资助基金：江西省自然科学基金0411041;江西省教育厅科研项目200543;南昌大学校科研和教改项目

在线出版日期：2006-08-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：112-115,142