University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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 / Department of Computer Science, University of Oxford, Parks Road, Oxford, OX1 3QD, UK / gavin.lowe@cs.ox.ac.uk