本书内容主要包括以下部分：安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念，安全...
2019.10
本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。...
本书讲述了网络安全协议中的基本理论、网络安全协议的主流类型以及协议的研究分析方法。内容涵盖密码学基础...
2019.1