A Comparison Between Two Formal Analysis Methods on Authentication Protocols
认证协议两种形式化分析方法的比较

Strand space model and CSP method are two popular approaches to formal analysis for authentication protocols. In this paper, the different characteristics of the above approaches are outlined through a concrete authentication protocol.