Kerberos5协议的形式化分析综述

计算机科学 ›› 2009, Vol. 36 ›› Issue (5): 21-26.

Kerberos5协议的形式化分析综述

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
本文研究得到国家自然科学基金（60473057,90604007,60703075,90718017）和高等学校博士学科专项科研基金资助课题（20070006055）的支持.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 网络认证协议Kerberos5提供三方认证机制，允许客户在单次登录的前提下实现对多个网络应用服务器的身份认证，目前该协议已得到广泛应用。FreeBSD，Linux服务器以及微软公司的Windows系列均采用该协议提供网络安全认证，因而该协议自身的安全性引起人们的广泛关注。由于该协议采用时间戳机制，同时涉及4个参与方，协议的复杂度较高，如何对其安全性进行全面的形式化分析与验证，一直是安全协议分析领域的研究热点与难点。目前国际上对其验证的方法主要分为两类，分别是基于符号模型的验证方法和基于计算模型的验证方法。

关键词: Kerberos 5 形式化分析认证性保密性

Abstract: Network Authentication Protocol Kerberos 5 provides us with a third-party authentication mechanism. The protocol was designed to allow a client to repeatedly authenticate herself to multiple network servers based on a single login. Nowadays this protocol

Key words: Kerberos 5,Formally analysis, Authentication,Confidentiality

. Kerberos5协议的形式化分析综述[J]. 计算机科学, 2009, 36(5): 21-26. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed