全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

安全协议形式化分析与验证

定价：￥109.00

作者：肖美华

出版时间：2023-04

出版社：科学出版社

以下为《安全协议形式化分析与验证》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030626332
版次：31
开本：B5
出版时间：2023-04

内容简介

本书是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。
　　全书主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述，无需显性刻画入侵者模型，只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。