이것은 최신 릴리스를 monpoly-1.1.10.tgz로 다운로드할 수 있는 MonPoly라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks와 함께 MonPoly라는 이 앱을 무료로 다운로드하여 온라인에서 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
몽폴리
Ad
기술
MonPoly는 MFOTL(Metric First-Order Temporal Logic)의 공식으로 지정된 정책과 관련하여 로그 파일의 준수 여부를 확인하는 프로토타입 모니터링 도구입니다.
사용 및 기록을 포함한 도구 개요는 파일 탭에서 찾을 수 있습니다. 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.
오디언스 (Audience)
감사자, 테스터
사용자 인터페이스
명령줄
프로그래밍 언어
OCaml(객관적 Caml)
이것은 https://sourceforge.net/projects/monpoly/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
