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