基本信息
文件名称：网络安全协议的形式化分析 形式化安全方法-逻辑推理方法-BAN.pdf
文件大小：333.84 KB
总页数：28 页
更新时间：2025-10-21
总字数：约1.54万字
文档摘要
简
介
作者付玉龙
预期目标
逻辑介绍简介
证
明协
议
后续付玉龙
西安电子科技大学
作者付玉龙西安电子科技大学简介