A Comparison Between Two Formal Analysis Methods on Authentication Protocols

• 认证协议两种形式化分析方法的比较