對于安全協議的形式化分析方法從技術特點上做了分類和分析. 對于安全協議分析技術的發展歷史、目前的狀況以及將來的趨勢作了總體的介紹和總結. 根據作者的體會,從縱向和橫向兩個角度進行了總結. 縱向方面主要是從用于分析安全協議的形式化方法的出現和發展的歷史角度加以總結. 橫向方面主要從所應用的技術手段、技術特點入手,進行總結分析. 說明了目前協議形式化分析發展的主要方向. 對于目前國際流行的方法和模型進行了例解.