Dies ist die Linux-App mit dem Namen SEPIA: Security-orientiertes PN Framework, 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 namens SEPIA: Security-orientiertes PN Framework mit OnWorks kostenlos herunter und führen Sie sie online aus.
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 den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
SEPIA: Sicherheitsorientiertes PN-Framework
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.
