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 Mar 31 00:38:21 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich