综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的3 种典型方法(基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法) ,安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战。