安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议形式化分析与验证/肖美华著

出版发行项:

北京:科学出版社,2019

ISBN及定价:

978-7-03-062633-2/CNY109.00

载体形态项:

160页:图;24cm

个人责任者:

肖美华 著

学科主题:

计算机网络-安全技术-通信协议

中图法分类号:

TP393.08

一般附注:

华东交通大学教材 (专著) 基金资助项目

书目附注:

有书目

提要文摘附注:

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

豆瓣简介：