Kerberos V5身份验证的过程

安全始终是任何计算机系统都要考虑的主要问题之一 ,Kerberos身份验证是 Window 2 0 0 0提供的一种优秀的安全身份验证方法 ,本文就 Kerberos认证的过程、细节、以及其使用的局限性进行探讨。

基于NPLAB的Kerberos V5协议的形式化分析

安全协议是建立在密码学基础上的协议,提供主体的身份识别和认证、会话密钥的管理和分配等各种安全服务。NPLAB是一款网络通信协议设计软件,它使用HLPSL语言对安全协议进行建模,采用形式化分析方法分析安全协议,并给出其安全性和可能的攻击路径。以Kerberos V5协议为例,对NPLAB的使用进行说明,分析协议的安全性。