Casper: A compiler for the analysis of security protocols
- 1 January 1998
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 6 (1-2) , 53-84
- https://doi.org/10.3233/jcs-1998-61-204
Abstract
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 numbeKeywords
This publication has 0 references indexed in Scilit: