摘要：近年來，人們在運用BAN邏輯進行形式化分析時，發(fā)現(xiàn)非形式化的理想化步驟是其致命缺陷，導致目前BAN邏輯的研究進展遲緩。有鑒于此，人們開始考慮采用另外一些形式化邏輯分析方法對協(xié)議的安全性進行分析。文章介紹了一種新的Nonmonotomic邏輯（簡稱N邏輯）的協(xié)議形式化分析方法，并運用此方法分析SSL3.0握手協(xié)議，對分析結果進行總結，提出協(xié)議的缺陷和邏輯本身需要進一步完善的地方。 關鍵詞：N邏輯 主體的知識 主體的信仰 SSL3.0協(xié)議 中圖分類號：B81 文獻標識碼：A 文章編號：1004-4914（2010）01-025-02