MARC状态：已编 文献类型：中文图书 浏览次数：13
- 题名/责任者:
- 安全协议形式化分析与验证/肖美华著
- 出版发行项:
- 北京:科学出版社,2019
- ISBN及定价:
- 978-7-03-062633-2/CNY109.00
- 载体形态项:
- 160页;24cm
- 个人责任者:
- 肖美华 著
- 学科主题:
- 计算机网络-安全技术-通信协议
- 中图法分类号:
- TP393.08
- 一般附注:
- 华东交通大学教材(专著)基金资助项目
- 提要文摘附注:
- 本书是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化策略，有效缓解模型检测过程中状态爆炸问题；对事件逻辑进行扩展，提出一系列规则，对安全协议进行形式化描述，无需显性刻画入侵者模型，只需分析协议动作之间的匹配顺序关系即可对协议的安全性进行证明。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP393.08/X39 | 01275759 | 2019 |  语言、自然科学阅览室
|
可借 | 语言、自然科学阅览室 |
| TP393.08/X39 | 01275760 | 2019 | 语言、自然科学阅览室
|
可借 | 语言、自然科学阅览室 |
| TP393.08/X39 | 01275758 | 2019 | 样本书阅览室
|
非可借 | 样本书阅览室 |
显示全部馆藏信息