书目详细信息
： 安全协议实施安全性自动化分析与验证
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-062506-9:CNY98.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 安全协议实施安全性自动化分析与验证/.孟博, 王德军著 |
| 出版发行项： | 北京:,科学出版社:,2020 |
| 载体形态项： | 249页:;+图:;+24cm |
| 提要文摘： | 本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于能够获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性、基于仅能够获取安全协议客户端实施自动化分析其安全性, 基于不能获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性等。 |
| 题名主题： | 计算机网络 安全技术 通信协议 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 孟博 著 |
| 个人名称等同： | 王德军 著 |
| 记录来源： | CN ZJF 20210616 |