商品详情
- 商品名称：安全协议实施安全性自动化分析与验证
- 商品编号 ：609975746316
- 店铺：
- 重量：0.000千克
- 上架时间：2020-09-01 13:17:22
- ISBN编号 ：9787030625069
- 书名 ：安全协议实施安全性自动化分析与验证,安全协议实施安全性自动化分析与验证
- 作者 ：孟博,王德军
- 出版社名称 ：科学出版社
- 定价 ：98.00元
- 开本 ：16开
- 是否是套装 ：否
更多参数>>
...... 基本信息 商品名称： 安全协议实施安全性自动化分析与验证 开本： 128开 作者： 孟博，王德军 定价： 98.00 ISBN号： 9787030625069 出版时间： 2019-11-01 出版社： 科学出版社 印刷时间： 2019-11-01 版次： 1 印次： 1 ............本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及*成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于能够获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性、基于仅能够获取安全协议客户端实施自动化分析其安全性，基于不能获取安全协议客户端实施和安全协议服务器端实施自动化分析其安全性等。............
评论晒单