MonPoly

Main content

MONPOLY is a monitoring tool that checks compliance of log files with respect to policies. Policies are specified by formulas in metric first-order temporal logic.

Read more about this software.

 
Page URL: http://www.infsec.ethz.ch/research/software/monpoly.html
27.06.2017
© 2017 Eidgenössische Technische Hochschule Zürich