Ebook: 安全协议理论与方法

木书是《信息安全国家重点实验室信息安全丛书》之一.书中系统地介绍了当前计算机网络安全协议的理论和方法,主要内容包括安全协议的基木概念、缺陷以及可能受到的攻击类型,基于推理结构性方法,基于攻击结构性方法,基于证明结构性方法,安全协议分析的形式化接口,安全协议设计的形式化方法,Kerberos协议,IPSec协议,SSL协议,X.509以及SET协议.本书可作为高等院校计算机、通信、信息安全等专业的教学参考可,也可供从事相关专业的教学、科研和工程技术人员参考.