安全协议原理与验证

　　第一部分 基础知识
　　第1章 引言
　　第2章 密码学基础
　　第二部分 安全协议原理
　　第3章 安全协议概述
　　第4章 认证与密钥交换协议
　　第5章 电子商务协议
　　第6章 实际使用中的的安全协议
　　第三部分 安全协议的分析、验证方法
　　第7章 BAN逻辑
　　第8章 BAN类逻辑
　　第9章 Kailar逻辑
　　第10章 时间相关安全协议分析
　　第11章 串空间模型理论及协议分析方法
　　第12章 安全协议的CSP分析方法
　　第13章 其他安全协议分析验证方法
　　参考文献

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