Casper: A Compiler for the Analysis of Security Protocols
Casper is a program that will take a description of a security protocol
in a simple, abstract language, and produce a CSP description of the same
protocol, suitable for checking using FDR2.
The following will give you some idea of how Casper works:
The Casper distribution can be obtained here, as a gzipped, tarred directory. Details of
installation are available here.
A new alpha-release distribution (2007/02/21) is available here.
There is also a compiler COSPJ available, that
produces Java implementations of protocols from Casper-like
descriptions.
If you encounter any difficulties, please
get in touch.
Gavin Lowe / Oxford University Computing Laboratory, Parks Road, Oxford, OX1
3QD, UK / gavin.lowe@comlab.ox.ac.uk
|
