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