MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic).

An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.

The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf.

The development repository has moved to https://bitbucket.org/monpoly/monpoly.

Project Activity

See All Activity >

Categories

Logging

Follow MonPoly

MonPoly Web Site

Other Useful Business Software
Auth for GenAI | Auth0 Icon
Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of MonPoly!

Additional Project Details

Intended Audience

Auditors, Testers

User Interface

Command-line

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Logging Software

Registered

2013-07-25
Report inappropriate content