Framogr is a Framework fo the modeling of group protocol. It provides an execution model which allows the modeling of both the protocol and attacks on the protocol.
It is Free Software developped by the department of Computer Science and Automation, Indian Institute of Science (Bangalore, India), as part of a research project.
These details are provided for information only. No information here is legal advice and should not be used as such.