广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

安全协议实施安全性自动化分析与验证/孟博，王德军著

出版发行项:

北京:科学出版社,2019

ISBN及定价:

978-7-03-062506-9/CNY98.00

载体形态项:

249页;24cm

个人责任者:

孟博 (1974-) 著

个人责任者:

王德军 (1974-) 著

学科主题:

计算机网络-安全技术-通信协议

中图法分类号:

TP393.08

提要文摘附注:

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

豆瓣简介：