Protocol Specification Tool

planning

Browse Code CVS Repository

Description

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.

Protocol Specification Tool Web Site

Categories

Code Generators, Cryptography

License

GNU General Public License version 2.0 (GPLv2)

Update Notifications

Write a Review

User Reviews

Be the first to post a review of Protocol Specification Tool!

Additional Project Details

Languages

Intended Audience

Developers, Science/Research

Programming Language

Java, Standard ML

Registered

2004-09-30