[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#603416: marked as done (RFP: ofmc -- Open-source Fixedpoint Model Checker)

Your message dated Thu, 08 Sep 2016 22:20:24 +0000
with message-id <E1bi7gG-00065A-ML@quantz.debian.org>
and subject line closing RFP: ofmc -- Open-source Fixedpoint Model Checker
has caused the Debian Bug report #603416,
regarding RFP: ofmc -- Open-source Fixedpoint Model Checker
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
603416: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=603416
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
RFP 603416 has no visible progress for a long time, so closing.

--- End Message ---
Reply to: