COSP-J: A Compiler for Security Protocols
COSP-J is a program that will take a description of a security protocol
in a simple, abstract language, and produce a Java implementation of the same
protocol. COSP-J was developed by Xavier Didelot for his MSc dissertation,
under the supervision of Gavin Lowe and Philippa Broadfoot.
The following will give you some idea of how COSP-J works:
The COSP-J distribution can be obtained here, as a gzipped, tarred directory.
Gavin Lowe / Oxford University Computing Laboratory, Parks Road, Oxford, OX1
3QD, UK / gavin.lowe@comlab.ox.ac.uk
|
