安全协议在网络信息安全中扮演着重要角色, 但保证安全协议的正确是一个很困难的问题。现在, 许多形式化方法都被用来分析安全协议, 本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。