利用RSA填充方案改进Kerberos认证协议  

Improvement of the Kerberos protocol based on the RSA padding scheme

作　　者：尹学永[1] 秦静[1] 曹永超[1] 

机构地区：[1]山东大学数学学院,山东济南250100

出　　处：《山东大学学报（理学版）》2010年第1期66-68,72,共4页Journal of Shandong University(Natural Science)

基　　金：国家自然科学基金资助项目(60743006;60873041);山东省自然科学基金资助项目(Y2007G15)

摘　　要：利用Coron、Naccache等人提出的加密签名通用的RSA填充方案对Kerberos认证协议进行改进。对改进后的协议,用BAN逻辑验证其满足Kerberos协议的基本安全目标,并对其效率和一些新的安全特性进行了分析。The deficiencies of the Kerberos protocol is modified by using the application of the lISA padding scheme which is proposed by Coron, Naccache e. t.. It is proved that the modification and refinement to Kerberos do not make security decline by using BAN logic. The analysis of efficiency and secure properties of the refinement are also given.

关 键 词：KERBEROS协议 RSA填充 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]