Este é o aplicativo Linux chamado MonPoly, cuja versão mais recente pode ser baixada como monpoly-1.1.10.tgz. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado MonPoly com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
MonPoly
DESCRIÇÃO:
MonPoly é um protótipo de ferramenta de monitoramento que verifica a conformidade dos arquivos de log com relação às políticas especificadas por fórmulas em MFOTL (Metric First-Order Temporal Logic).
Uma visão geral da ferramenta, incluindo seu uso e histórico, pode ser encontrada na guia Arquivos: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
A ferramenta é desenvolvida como parte de um projeto acadêmico na ETH Zurique. Visite o seguinte link para obter mais detalhes sobre o projeto: http://www.infsec.ethz.ch/research/projects/mon_enf.
O repositório de desenvolvimento mudou para https://bitbucket.org/monpoly/monpoly.
Público
Auditores, testadores
Interface com o usuário
Linha de comando
Linguagem de Programação
OCaml (objetivo Caml)
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/monpoly/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.