相关文档推荐：

• 网络安全协议的形式化分析与验证课件绪论
• 一种形式化分析安全协议的新模型
• 一种安全协议的形式化分析方法
• 安全协议形式化分析与验证(肖美华著)思维导图