Kerberos协议安全性的符号模型检验分析

摘要：

基于模型检验的安全协议分析和验证是协议工程研究的一个新方向.该文建立了Kerberos协议的有限状态机模型,并用符号模型检验器(SMV)从安全属性的两个方面--认证性和保密性分析了Kerberos协议,指出了Kerberos协议的缺陷.

关键词：符号模型验证、安全性、重放攻击

所属期刊栏目：39

分类号：TP393.04;TP393.08(计算技术、计算机技术)

资助基金：广西新世纪十百千人才工程基金0141046;广西自然科学基金0141046

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

页数：共4页

页码：177-180