书籍 网络安全协议的形式化分析与验证的封面

网络安全协议的形式化分析与验证

张爱新 李建华著

出版社

北京：机械工业出版社

出版时间

2010

ISBN

9787111297260

标注页数

214 页

PDF页数

227 页

书籍介绍
本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。

在线购买PDF电子书

此书压缩包下载地址1 （13 MB）

此书压缩包下载地址2 （13 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书