本书介绍**协议及其验证方法,主要内容包括三个部分:1.基础知识,包括**协议基本原理介绍、**性分析以及密码学基础;2.**协议原理,包括**协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的**协议;3.**协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。 本书较为全面、深入地介绍了信息**体系中的**协议原理及**协议的分析验证方法。内容安排由浅入深,**突出,涵盖了当前**协议研究领域的主要成果。 本书可作为高等院校信息**、计算机、通信等专业高年级本科生和研究生教材,也可供从事相关专业的教学、科研和工程技术人员参考。

**部分 基础知识
第1章 引言
第2章 密码学基础
第二部分 **协议原理
第3章 **协议概述
第4章 认证与密钥交换协议
第5章 电子商务协议
第6章 实际使用中的的**协议
第三部分 **协议的分析、验证方法
第7章 ban逻辑
第8章 ban类逻辑
第9章 kailar逻辑
第10章 时间相关**协议分析
第11章 串空间模型理论及协议分析方法
第12章 **协议的csp分析方法

本书内容包括三个部分:1.基础知识,包括**协议基本原理介绍、**性分析以及密码学基础;2.**协议原理,包括**协议概述、经���的密码交换及认证协议、电子商务协议以及应用中的**协议;3.**协议的分析与验证方法,包括ban逻辑、ban类逻辑、kailar逻辑、cs逻辑、串空间理论及csp方法等。