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

摘要：

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

关键词：协议安全性、串空间、Kerberos协议、形式化分析

所属期刊栏目：18

分类号：TP3;TN9

资助基金：863计划2006AA01Z451

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

页数：共6页

页码：909-914