10.3969/j.issn.1002-137X.2009.05.005
Kerberos 5协议的形式化分析综述
网络认证协议Kerberos 5提供三方认证机制,允许客户在单次登录的前提下实现对多个网络应用服务器的身份认证,目前该协议已得到广泛应用.FreeBSD,Linux服务器以及微软公司的Windows系列均采用该协议提供网络安全认证,因而该协议自身的安全性引起人们的广泛关注.由于该协议采用时间戳机制,同时涉及4个参与方,协议的复杂度较高,如何对其安全性进行全面的形式化分析与验证,一直是安全协议分析领域的研究热点与难点.目前国际上对其验证的方法主要分为两类,分别是基于符号模型的验证方法和基于计算模型的验证方法.全面系统地介绍和分析了目前国际上对该协议的形式化验证工作,在此基础上简要介绍作者目前的研究工作.
Kerberos 5、形式化分析、认证性、保密性
36
TP3;TN9
国家自然科学基金60473057,90604007,60703075,90718017;高等学校博士学科专项科研基金资助课题20070006055的支持
2009-06-09(万方平台首次上网日期,不代表论文的发表时间)
共6页
21-26