Dit is de Linux-app genaamd MonPoly, waarvan de nieuwste release kan worden gedownload als monpoly-1.1.10.tgz. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd MonPoly gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
MonPoly
Ad
PRODUCTBESCHRIJVING
MonPoly is een prototype monitoringtool die de naleving van logbestanden controleert met betrekking tot het beleid dat is gespecificeerd door formules in MFOTL (Metric First-Order Temporal Logic).
Een overzicht van de tool, inclusief het gebruik en de geschiedenis ervan, vindt u onder het tabblad Bestanden: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
De tool is ontwikkeld als onderdeel van een academisch project aan de ETH Zürich. Bezoek de volgende link voor meer informatie over het project: http://www.infsec.ethz.ch/research/projects/mon_enf.
De ontwikkelingsrepository is verplaatst naar https://bitbucket.org/monpoly/monpoly.
Toehoorders
Auditors, testers
Gebruikersinterface
Opdrachtregel
Programmeertaal
OCaml (Objectieve Caml)
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/monpoly/. Het is gehost in OnWorks zodat het op de eenvoudigste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
