对于安全协议的形式化分析方法从技术特点上做了分类和分析. 对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结. 根据作者的体会,从纵向和横向两个角度进行了总结. 纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结. 横向方面主要从所应用的技术手段、技术特点入手,进行总结分析. 说明了目前协议形式化分析发展的主要方向. 对于目前国际流行的方法和模型进行了例解.