全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

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

￥98.00定价

作者：孟博王德军

出版时间：2023-10

出版社：科学出版社

以下为《安全协议实施安全性自动化分析与验证》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030625069
版次：31
图书编号：474671
装帧：平装胶订
开本：B5
出版时间：2023-10
页数：264
中图分类编号：TP393.08

内容简介

本书系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器Crypto Verif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具Swift2CV、基于消息构造的安全协议实施安全性分析方法、安全协议实施安全性分析工具SPISA、面向多个混合安全协议轨迹的安全协议实施安全性分析方法、安全协议实施安全性分析工具NTISA、典型安全协议实施安全性分析等。