Academic
Publications
Casper: A Compiler for the Analysis of Security Protocols

Casper: A Compiler for the Analysis of Security Protocols,10.1109/CSFW.1997.596779,Gavin Lowe

Casper: A Compiler for the Analysis of Security Protocols   (Citations: 332)
BibTex | RIS | RefWorks Download
In recent years, a method for analyzing security protocols using the process algebra CSP (C.A.R. Hoare, 1985) and its model checker FDR (A.W Roscoe, 1994) has been developed. This technique has proved successful, and has been used to discover a number of attacks upon protocols. However the technique has required producing a CSP description of the protocol by hand; this has proved tedious and error prone. We describe Casper, a program that automatically produces the CSP description from a more abstract description, thus greatly simplifying the modelling and analysis process
Conference: Computer Security Foundations Workshop - CSFW , pp. 18-30, 1997
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: