协议实施性自动化分析与验证

正版图书保证质量七天无理由退货让您购物无忧

65.7 6.7折 98 全新

仅1件

北京朝阳

认证卖家担保交易快速发货售后保障

作者孟博

出版社科学出版社

ISBN9787030625069

出版时间2018-01

版次1

装帧平装

开本24开

定价98元

货号R_9652801

上书时间2022-11-25

已实名已认证进店收藏店铺

商品描述: 本书共分五篇14章。系统地全面介绍了协议实施性自动化分析与验证的基本理论和关键技术及*新成果。主要内括协议实施性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概程演算Blanchet演算、自动化协议证明器CryptoVerif及应用、基于能够获取协议客户端实施和协议服务器端实施自动化分析其性、基于仅能够获取协议客户端实施自动化分析其性，基于不能获取协议客户端实施和协议服务器端实施自动化分析其性等。

— 没有更多了 —