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

• A Comparison Between Two Formal Analysis Methods on Authentication Protocols