Package: wnpp Severity: wishlist Owner: Morten Sørensen <[email protected]>
* Package name : ofmc * Version : 2009c * Upstream Author : Sebastian Mödersheim <[email protected]> * 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
