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
No takes yet. Share an insight, caveat, or question.
Gavin Lowe (1998) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: