书目详细信息
： 安全协议形式化分析与验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-062633-2:CNY109.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 安全协议形式化分析与验证/.肖美华著 |
| 出版发行项： | 北京:,科学出版社:,2020 |
| 载体形态项： | 160页:;+24cm |
| 一般附注： | 华东交通大学教材(专著)基金资助项目 |
| 提要文摘： | 本书是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述，无需显性刻画入侵者模型，只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。 |
| 题名主题： | 计算机网络 安全技术 通信协议 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 肖美华 著 |
| 记录来源： | CN ZJF 20210616 |