潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:科学出版社,2019

ISBN及定价:

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

载体形态项:

249页;24cm

个人责任者:

孟博 著

个人责任者:

王德军 著

学科主题:

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

中图法分类号:

TP393.08

责任者附注:

中南民族

提要文摘附注:

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

使用对象附注:

本书适用于从事安全协议、密码学、计算机、软件工程、通信、数学等专业的科技人员、硕士和博土研究生及高等院校相关专业的师生

豆瓣简介：