MonPoly

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 >

Follow MonPoly

MonPoly Web Site

Other Useful Business Software

Enterprise AI Agents for Every Customer Moment

For enterprise companies looking for AI Agents

From chat to voice to SMS, every conversation gets a smart, personalized response powered by your policies, tone, and data.

Learn More

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

Similar Business Software

Files.com

Files.com is a cloud-native Managed File Transfer (MFT) platform that unifies file transfers, sharing, and automation across any cloud, protocol, or partner. It connects 50+ storage systems — including Amazon S3, Azure, Google Drive, SharePoint, Dropbox, and Box — presenting them as a single...

See Software
Diplomat Managed File Transfer

Diplomat MFT by Coviant Software is a secure, reliable managed file transfer solution designed to simplify and automate SFTP, FTPS, and HTTPS file transfers. Built for seamless integration, Diplomat MFT works across major cloud storage platforms, including AWS S3, Azure Blob, Google Cloud,...

See Software
Shift

Shift is the first fully customizable browser that empowers you to make the most of your life online. Shift allows you to drag and drop apps, bars, and controls, to create a central hub that adapts to however you work. Sign into 1,500+ web apps, swap instantly between Spaces for work, side...

See Software
Wave Browser

Wave Browser is an efficient, eco-conscious browser that creates a cleaner, more organized, and more meaningful online experience while helping remove ocean plastic through its partnership with 4ocean. Built on the trusted Chromium foundation, Wave Browser brings essential tools directly into...

See Software
Adobe Acrobat

Adobe Acrobat Studio is a leading enterprise document platform built to scale for global teams — delivering AI-powered document intelligence, trusted PDF tools, and on-brand content creation in one secure solution. Core capabilities include PDF creation, editing, conversion, annotation,...

See Software
Synchredible

Synchredible allows users to easily synchronize, copy, and backup individual folders or entire drives with just one click. Our intuitive assistant guides you through defining tasks that can be scheduled, triggered by changes (real-time monitoring), or executed when connecting an external storage...

See Software