书目信息 机读格式(MARC)
安全协议实施自动化生成与验证
| ISBN/价格： | 978-7-03-050867-6:CNY68.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 安全协议实施自动化生成与验证/.孟博，王德军著 |
| 出版发行项： | 北京:,科学出版社:,2016.11 |
| 载体形态项： | 318页:;+图:;+24cm |
| 提要文摘： | 本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及*新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化验证安全协议Java实施认证性、基于计算模型生成密码学安全的安全协议Java实施、基于符号模型生成密码学安全的安全协议Java实施等。 |
| 题名主题： | 计算机网络 安全技术 |
| 中图分类： | TP393.08 |
| 个人名称等同： | 孟博 著 |
| 个人名称等同： | 王德军 著 |
| 记录来源： | CN LCTBU 20170518 |