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
Fri May 26 05:42:51 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich