安全协议形式化分析与验证
【作 者】肖美华著
【形态项】 160
【出版项】 北京：科学出版社 , 2019.10
【ISBN号】978-7-03-062633-2
【中图法分类号】TP393.08-43
【原书定价】98.00
【主题词】计算机网络-安全技术-通信协议
【参考文献格式】 肖美华著. 安全协议形式化分析与验证. 北京：科学出版社, 2019.10.
内容提要:
本书内容主要包括以下部分：安全协议形式化分析背景及研究现状。介绍了安全协议及形式化方法基本概念，安全协议形式化分析研究发展历史和国内外研究现状。形式化方法基本理论。对模态逻辑、模型检测，定理证明三类形式化方法进行了详细阐述和对比分析，介绍了Murφ和Spin具有代表性的形式化分析工具。安全协议。介绍了安全协议的基本概念及分类，从安全协议受攻击类型角度提出安全协议形式化分析的必要性。
下载地址
安全协议形式化分析与验证.rar