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

• 作者: 弋改珍 解争龙 魏浩
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 串空间 Kerberos协议 保密性 认证性
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 109-112
• 页数: 4页
• 分类号: TP309
• 字数: 4611字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2013.12.026

摘要

在介绍串空间理论基本概念、攻击者模型以及Kerberos协议的基础上，利用串空间理论得出Kerberos各协议参与主体和攻击者的迹，构造了协议的串空间，给出了Kerberos协议的丛图。在证明一个定理的基础上，使用启发式和反证法的思路，证明了认证服务器分配给客户端和应用服务器会话密钥的保密性，即攻击者从现有知识和构造能力无法推导出服务器分配给客户端和应用服务器的会话密钥；证明了客户端和认证服务器以及客户端和应用服务器能够相互认证，得出了Kerberos协议正确性的结论。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	弋改珍	咸阳师范学院信息工程学院	52	88	5.0	7.0
2	解争龙	咸阳师范学院信息工程学院	48	340	8.0	17.0
3	魏浩	咸阳师范学院信息工程学院	23	101	6.0	9.0