A Comparison Between Two Formal Analysis Methods on Authentication Protocols
Qing Si · 2003
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.