| 认证协议的有向图模型及其安全性分析 |
| |
| 引用本文： | 谢鸿波,吴远成,周明天.认证协议的有向图模型及其安全性分析[J].小型微型计算机系统,2008,29(4):622-626. |
| |
| 作者姓名： | 谢鸿波 吴远成 周明天 |
| |
| 作者单位： | 1. 电子科技大学,计算机科学与工程学院,四川,成都,610054;重庆通信学院,三系,数据链教研室,重庆,400035
2. 电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.
|
| 关 键 词： | 认证协议 协议形式化分析 有向图 认证协议 有向图模型 安全性 算法分析 Security Analysis Protocols Authentication 攻击路径 攻击方法 搜索算法 构造 描述方法 存在 协议规范 问题 协议形式化分析 形式化描述 |
| 文章编号： | 1000-1220(2008)04-0622-05 |
| 修稿时间： | 2006年12月5日 |
A Directed Graph Model of the Authentication Protocols and its Security Analysis |
| |
| XIE Hong-bo,WU Yuan-chen,ZHOU Ming-tian.A Directed Graph Model of the Authentication Protocols and its Security Analysis[J].Mini-micro Systems,2008,29(4):622-626. |
| |
| Authors: | XIE Hong-bo WU Yuan-chen ZHOU Ming-tian |
| |
| Affiliation: | XIE Hong-bo1,2,WU Yuan-chen1,ZHOU Ming-tian1 1(School of Computer Science , Engineering,University of Electronic Science , Technology of China,Chengdu 610054,China) 2(Data Like Staff Room of the 3rd Department,Chongqing Communication College,Chongqing 400035,China) |
| |
| Abstract: | |
| |
| Keywords: | authentication protocol formal protocol analysis directed graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
