|
题名:
|
安全协议实施安全性自动化分析与验证 an quan xie yi shi shi an quan xing zi dong hua fen xi yu yan zheng / 孟博，王德军著 , |
|
ISBN:
|
9787030625069 价格： CNY98.00 |
|
语种:
|
chi |
|
载体形态:
|
249页 图 24cm |
|
出版发行:
|
出版地： 出版社： 出版日期： 2019.11 |
|
内容提要:
|
本书共分五篇14章。系统地全面介绍了安全协议实施安全性自动化分析与验证的基本理论和关键技术及最新成果。主要内容包括安全协议实施安全性分析与验证关键技术及国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器 |
|
主题词:
|
计算机网络 |
|
中图分类法:
|
TP393.08 版次： 5 |
|
索书号:
|
6 |