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

• 作者: 张梅 文静华 李祥
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 认证协议 形式分析 BAN逻辑
• 年，卷（期）: 2006,（8）
• 所属期刊栏目: 安全技术
• 页码范围: 159-161
• 页数: 3页
• 分类号: TP393
• 字数: 2776字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.08.058

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	文静华	贵州财经学院信息学院	58	334	10.0	15.0
6	张梅	贵州财经学院信息学院	43	257	9.0	14.0