基于串空间理论的Kerberos协议安全性分析

• 作者: 张兆心 王威 胡铭曾
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 协议安全性 串空间 Kerberos协议 形式化分析
• 年，卷（期）: 2008,（9）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 909-914
• 页数: 6页
• 分类号: TP3
• 字数: 5626字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2008.09.005

摘要

在对串空间理论和Kerberos协议进行深入研究的基础上,采用串空间理论模型对Kerberos协议进行了安全性分析.分析的过程和结果证明,Kerberos协议满足串空间理论的认证性和服务器串随机数的秘密性,但不能保证发起者串随机数的秘密性,因此Kerberos协议能实现安全认证功能,但存在口令猜测攻击.针对此问题,对Kerberos协议进行改进,改进后的协议满足发起者串随机数秘密性,增强了抗口令猜测攻击的能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王威	哈尔滨工业大学计算机网络与信息安全技术研究中心	69	586	12.0	21.0
2	胡铭曾	哈尔滨工业大学计算机网络与信息安全技术研究中心	131	2150	26.0	42.0
3	张兆心	哈尔滨工业大学计算机网络与信息安全技术研究中心	44	270	9.0	14.0