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

摘要：

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

关键词：串空间、Kerberos协议、保密性、认证性

分类号：TP309(计算技术、计算机技术)

资助基金：陕西省科技计划项目SJ08ZT14-8;陕西省教育自然科学基金项目08JK481;咸阳师范学院基金项目06XSYK277

在线出版日期：2013-12-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：109-112