安全協(xié)議在網(wǎng)絡(luò)信息安全中扮演著重要角色, 但保證安全協(xié)議的正確是一個很困難的問題?，F(xiàn)在, 許多形式化方法都被用來分析安全協(xié)議, 本文中我們研究各種方法的基本思想、它的優(yōu)缺點(diǎn)、發(fā)展趨勢以及方法之間的關(guān)系。