Це програма для Linux під назвою MonPoly, останню версію якої можна завантажити як monpoly-1.1.10.tgz. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою MonPoly з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
MonPoly
Ad
ОПИС
MonPoly — це прототип інструмента моніторингу, який перевіряє відповідність файлів журналів політикам, визначеним формулами в MFOTL (Метрична тимчасова логіка першого порядку).
Огляд інструменту, включаючи його використання та історію, можна знайти на вкладці Файли: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download.
Інструмент розроблено в рамках академічного проекту в ETH Zurich. Будь ласка, перейдіть за наступним посиланням, щоб дізнатися більше про проект: http://www.infsec.ethz.ch/research/projects/mon_enf.
Репозиторій розробки переміщено до https://bitbucket.org/monpoly/monpoly.
Аудиторія
Аудитори, тестувальники
Користувацький інтерфейс
Командний рядок
Мова програмування
OCaml (Objective Caml)
Це додаток, який також можна отримати з https://sourceforge.net/projects/monpoly/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
