《安全协议原理与验证》PDF下载

图书介绍：本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等。