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