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