认证协议的有向图模型及其安全性分析

摘要：

认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.

关键词：认证协议、协议形式化分析、有向图

所属期刊栏目：29

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

资助基金：国家高技术研究发展计划863计划863-104-03-01

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

页数：共5页

页码：622-626