Framogr: a FRAMework for the MOdeling and simulation of GRoup protocols

Introduction

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.

Documentation

• API documentation (ocamldoc),
• Slide presentation of Framogr (handout).

Download

• Get the latest version with Bazaar: bzr branch http://download.gna.org/framogr/bzr/trunk/
• Download a tarball from the download area.

Authors

• Matthieu Moy ()
• V. H. Gupta ()
• K. Gopinath ()

Links

• Framogr Project page on Gna!,
• Framogr Mailing List,
• Indian Institute of Science (Bangalore, India),
• Department of Computer Science and Automation.

Note

The latest version of this document is available from http://download.gna.org/framogr/.