Dies ist die Windows-App mit dem Namen SEPIA: Security-orientiertes PN Framework zur Ausführung in Windows Online über Linux Online, deren neueste Version als sepia-0.1.5-consistent.jar heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App mit dem Namen SEPIA: Sicherheitsorientiertes PN-Framework herunter und führen Sie sie online aus, um sie unter Windows online über Linux online mit OnWorks kostenlos auszuführen.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie einen beliebigen OS OnWorks-Online-Emulator von dieser Website, aber einen besseren Windows-Online-Emulator.
- 5. Rufen Sie vom gerade gestarteten OnWorks Windows-Betriebssystem unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter und installieren Sie sie.
- 7. Laden Sie Wine aus den Software-Repositorys Ihrer Linux-Distributionen herunter. Nach der Installation können Sie dann auf die App doppelklicken, um sie mit Wine auszuführen. Sie können auch PlayOnLinux ausprobieren, eine schicke Schnittstelle über Wine, die Ihnen bei der Installation beliebter Windows-Programme und -Spiele hilft.
Wine ist eine Möglichkeit, Windows-Software unter Linux auszuführen, jedoch ohne Windows. Wine ist eine Open-Source-Windows-Kompatibilitätsschicht, die Windows-Programme direkt auf jedem Linux-Desktop ausführen kann. Im Wesentlichen versucht Wine, genügend Windows von Grund auf neu zu implementieren, damit alle diese Windows-Anwendungen ausgeführt werden können, ohne dass Windows tatsächlich benötigt wird.
SEPIA: Sicherheitsorientiertes PN-Framework zur Ausführung unter Windows online über Linux online
Ad
BESCHREIBUNG
SEPIA bietet Implementierungen für verschiedene Arten von Petri-Netzen. Entlang von Orts-/Übergangsnetzen unterstützt es Petri-Netze mit unterscheidbaren Token-Farben und definiert farbige Workflow-Netze, in denen farbige Token als Datenelemente interpretiert werden, die während der Prozessausführung verwendet werden. Zur Unterstützung der Informationsflussanalyse von Prozessen definiert SEPIA sogenannte IF-Nets, die auf die sicherheitsorientierte Workflow-Modellierung zugeschnitten sind und es Benutzern ermöglichen, Übergängen, Datenelementen und am Prozess beteiligten Personen/Agenten Sicherheitsstufen (HIGH, LOW) zuzuweisen Ausführung.SEPIA baut auf TOVAL auf (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) und SEWOL (https://sourceforge.net/projects/jawl/). Um SEPIA zu verwenden, stellen Sie sicher, dass sich diese Bibliotheken im Build-Pfad befinden.
SEPIA enthält den Multi Schema Validator (https://msv.java.net/) und Isorelax (http://iso-relax.sourceforge.net/)
Die Dokumentation finden Sie unter http://doku.telematik.uni-freiburg.de/sepia.
Eigenschaften
- Implementierung von P/T-Netzen
- Implementierung farbiger Petri-Netze
- Implementierung farbiger Workflow-Netze
- Implementierung von IF-Netzen
- Petri-Netzdurchquerung
- Verfeinerung des Petrinetzes
- Erreichbarkeits-Utilities
- PNML-Analyse
Publikum
Wissenschaft/Forschung, fortgeschrittene Endbenutzer, Sicherheit
Programmiersprache
Javac
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/sepiaframework/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.
