Aceasta este aplicația Linux numită MonPoly a cărei ultima versiune poate fi descărcată ca monpoly-1.1.10.tgz. Poate fi rulat online în furnizorul de găzduire gratuit OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită MonPoly cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
MonPoly
Ad
DESCRIERE
MonPoly este un prototip de instrument de monitorizare care verifică conformitatea fișierelor jurnal cu politicile specificate prin formule în MFOTL (Metric First-Order Temporal Logic).
O prezentare generală a instrumentului, inclusiv utilizarea și istoricul acestuia, poate fi găsită în fila Fișiere: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Instrumentul este dezvoltat ca parte a unui proiect academic la ETH Zurich. Vă rugăm să accesați următorul link pentru mai multe detalii despre proiect: http://www.infsec.ethz.ch/research/projects/mon_enf.
Depozitul de dezvoltare s-a mutat în https://bitbucket.org/monpoly/monpoly.
Public
Auditori, Testeri
Interfața cu utilizatorul
Linie de comanda
Limbaj de programare
OCaml (Obiectiv Caml)
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/monpoly/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
