Bug#603416: ITP: ofmc -- Open-source Fixedpoint Model Checker
Package: wnpp
Severity: wishlist
Owner: Morten Sørensen <starswifter@gmail.com>
* Package name : ofmc
* Version : 2009c
* Upstream Author : Sebastian Mödersheim <smo@zurich.ibm.com>
* URL :
http://www.avantssar.eu/index.php?option=com_content&task=view&id=7&Itemid=32
* License : BSD styled license
* Programming Lang: Haskell
* Description : Open-source Fixedpoint Model Checker
Open-source Fixed-point Model Checker (OFMC for short) is a
modelchecker for security protocols. It is capable of checking
protocols up to an unbounded number of sessions running
simultaniously, and with extensions it can even write out the proof
that a protocol is secure (or unsecure). OFMC knows many different
types of attacks and writes a stacktrace for debugging if it is able
to use any of the attacks. OFMC uses the AnB (Alice and Bob) notation
for describing the protocol, the goals and the knowledge of each of
the participants in the protocol.
Reply to: