安全协议原理与验证

书名：安全协议原理与验证
作者：王聪 等
ISBN：978-7-5635-2672-7
出版社：北京邮电大学出版社
出版日期：2011.08
本书由基础知识、安全协议原理、安全协议的分析及验证方法三部分组成。涉及安全协议基本原理介绍、安全性分析以及密码学基础；安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；安全协议的分析与验证方法，包括BAN逻辑、BAN类逻辑、Kailar逻辑、CS逻辑、串空间理论及CSP方法等内容。