| ISBN/价格： | 978-7-03-062506-9:CNY98.00 |
|---|
| 作品语种： | chi |
|---|
| 出版国别： | CN 110000 |
|---|
| 题名责任者项： | 安全协议实施安全性自动化分析与验证/.孟博, 王德军著 |
|---|
| 出版发行项： | 北京:,科学出版社:,2019.11 |
|---|
| 载体形态项： | 249页:;+图:;+24cm |
|---|
| 提要文摘： | 本书系统介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、一阶定理证明器Pro Verif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具Swift2CV、基于消息构造的安全协议实施安全性分析方法、安全协议实施安全性分析工具SPISA、面向多个混合安全协议轨迹的安全协议实施安全性分析方法、安全协议实施安全性分析工具NTISA、典型安全协议实施安全性分析等。 |
|---|
| 题名主题： | 计算机网络 安全技术 通信协议 |
|---|
| 中图分类： | TP393.08 |
|---|
| 个人名称等同： | 孟博 著 |
|---|
| 个人名称等同： | 王德军 著 |
|---|
| 记录来源： | CN 湖北三新 20191204 |
|---|