Casper: A compiler for the analysis of security protocols
Gavin Lowe · Journal of Computer Security · 1998
In recent years, a method for analyzing security protocols using the process algebra CSP (Hoare, 1985) and its model checker FDR (Roscoe, 1994) has been developed. This technique has proved remarkably successful, and has been used to discover a numbe