Kerberos协议的形式化分析

• 作者: 李俊 陈灿
• 来源期刊: 微电子学与计算机
• 关键词: 安全协议 BAN逻辑 Kerberos协议
• 年，卷（期）: 2006,（6）
• 页码范围: 49-51,55
• 页数: 4页
• 分类号: TP393.04|TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.06.014

摘要

认证协议是网络环境中一类重要的安全协议,对协议进行形式化分析是保障其安全性的主要手段.文章以BAN逻辑为工具,分析了网络中常用的Kerberos认证协议.结果表明,Kerberos协议达到了预期的认证目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李俊	中国科学院计算机网络信息中心	242	2653	26.0	41.0
2	陈灿	中国科学院计算机网络信息中心	12	27	3.0	4.0