Esta es la aplicación de Linux llamada MonPoly cuya última versión se puede descargar como monpoly-1.1.10.tgz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada MonPoly con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
MonPoly
Ad
DESCRIPCIÓN
MonPoly es un prototipo de herramienta de monitoreo que verifica el cumplimiento de los archivos de registro con respecto a las políticas especificadas por fórmulas en MFOTL (Metric First-Order Temporal Logic).
Se puede encontrar una descripción general de la herramienta, incluido su uso e historial, en la pestaña Archivos: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
La herramienta se desarrolla como parte de un proyecto académico en ETH Zurich. Visite el siguiente enlace para obtener más detalles sobre el proyecto: http://www.infsec.ethz.ch/research/projects/mon_enf.
El repositorio de desarrollo se ha trasladado a https://bitbucket.org/monpoly/monpoly.
Audiencia
Auditores, probadores
Interfaz de usuario
Línea de comando
Lenguaje de programación
OCaml (Objetivo Caml)
Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/monpoly/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.
