prospec - Protocol Specification Tool
Protocol Specification Tool is a system for executable specification,
verification and rapid prototyping of cryptographic protocols.
The project is hosted at http://sourceforge.net/projects/prospec/
.
Some preliminary development can be found at http://www.fsb.hr/matematika/?ulaz=protocols.