GoGPT Best VPN GoSearch

Ulubiona usługa OnWorks

SEPIA: Pobieranie zorientowanej na bezpieczeństwo architektury PN dla systemu Linux

Bezpłatne pobieranie SEPIA: zorientowana na bezpieczeństwo aplikacja PN Framework Linux do uruchamiania online w Ubuntu online, Fedora online lub Debian online

Jest to aplikacja dla systemu Linux o nazwie SEPIA: Security-based PN Framework, której najnowszą wersję można pobrać jako sepia-0.1.5-consistent.jar. Można go uruchomić online w darmowym dostawcy hostingu OnWorks dla stacji roboczych.

Pobierz i uruchom online tę aplikację o nazwie SEPIA: Zorientowana na bezpieczeństwo platforma PN z OnWorks za darmo.

Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:

- 1. Pobrałem tę aplikację na swój komputer.

- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 3. Prześlij tę aplikację w takim menedżerze plików.

- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.

- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 6. Pobierz aplikację, zainstaluj ją i uruchom.

SEPIA: Ramy PN zorientowane na bezpieczeństwo


Ad


OPIS

SEPIA dostarcza implementacje dla różnych typów sieci Petriego. Wraz z sieciami miejsc/przejść obsługuje sieci Petriego z rozróżnialnymi kolorami tokenów i definiuje kolorowe sieci przepływu pracy, w których kolorowe tokeny są interpretowane jako elementy danych używane podczas wykonywania procesu. Aby wesprzeć analizę przepływu informacji w procesach, SEPIA definiuje tzw. IF-Nets, dostosowane do modelowania przepływu pracy zorientowanego na bezpieczeństwo, które umożliwiają użytkownikom przypisywanie poziomów bezpieczeństwa (WYSOKI, NISKI) do przejść, elementów danych i osób/agentów uczestniczących w procesie wykonanie.

SEPIA bazuje na TOVAL (http://sourceforge.net/p/toval), JAGAŁ (http://sourceforge.net/p/jagal) i SEWOL (https://sourceforge.net/projects/jawl/). Aby użyć SEPIA, upewnij się, że te biblioteki znajdują się na ścieżce kompilacji.

SEPIA zawiera Multi Schema Validator (https://msv.java.net/) i izorelaks (http://iso-relax.sourceforge.net/)

Dokumentację można znaleźć pod http://doku.telematik.uni-freiburg.de/sepia.

Funkcjonalności

  • Wdrażanie sieci P/T
  • Wdrożenie kolorowych sieci Petriego
  • Wdrażanie kolorowych siatek Workflow
  • Wdrażanie IF-Net
  • Przechodzenie przez sieć Petriego
  • Udoskonalenie sieci Petriego
  • Narzędzia osiągalności
  • Parsowanie PNML


Publiczność

Nauka/Badania, Zaawansowani użytkownicy końcowi, Bezpieczeństwo



Język programowania

Java



Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/sepiaframework/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.


Darmowe serwery i stacje robocze

Pobierz aplikacje Windows i Linux

Komendy systemu Linux

Ad




×
reklama
❤️Zrób zakupy, zarezerwuj lub kup tutaj — bezpłatnie, co pomaga utrzymać bezpłatne usługi.