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