基本信息
文件名称：网络安全协议的形式化分析（付玉龙）BAN逻辑部分习题.pdf
文件大小：110.19 KB
总页数：2 页
更新时间：2025-10-21
总字数：约1.33千字
文档摘要
BAN逻辑部分习题：
1：Kerberos协议的证明：