一个新的认证协议及其形式化分析

被引：2

作者：

文静华 ^{[1
]}

张梅 ^{[1
]}

李祥 ^{[2
]}

机构：

[1] 贵州财经学院信息学院

[2] 贵州大学计算机软件与理论研究所

来源：

计算机工程 | 2006年 / 08期

关键词：

认证协议; 形式分析; BAN逻辑;

D O I：

暂无

中图分类号：

TP393.04 [];

学科分类号：

081201 ; 1201 ;

摘要：

认证协议是网络安全体系中最基本和最关键的问题。在传统认证协议的基础上,提出了一个新的认证协议。经过用BAN逻辑对这个协议进行了形式化分析,找出了可能的攻击方法并作出了相应修改。讨论了BAN逻辑用于认证协议形式化分析的作用、局限性以及改进的方向。

引用

收藏

页码：159 / 161

页数：3

相关论文

共 2 条

[1] 国内外信息安全研究现状及其发展趋势 [J].

冯登国 .

网络安全技术与应用, 2001, (01) :8-13

[2]

密码学与计算机网络安全[M]. 清华大学出版社 , 卿斯汉著, 2001