GoGPT Best VPN GoSearch

OnWorks-favicon

SEPIA: Beveiligingsgerichte PN Framework-download voor Linux

Gratis download SEPIA: Beveiligingsgerichte PN Framework Linux-app om online te draaien in Ubuntu online, Fedora online of Debian online

Dit is de Linux-app met de naam SEPIA: Security-oriented PN Framework waarvan de nieuwste release kan worden gedownload als sepia-0.1.5-consistent.jar. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.

Download en gebruik deze app met de naam SEPIA: Security-oriented PN Framework met OnWorks gratis.

Volg deze instructies om deze app uit te voeren:

- 1. Download deze applicatie op uw pc.

- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.

- 3. Upload deze applicatie in zo'n bestandsbeheerder.

- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.

- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.

- 6. Download de applicatie, installeer hem en voer hem uit.

SEPIA: Beveiligingsgericht PN Framework


Ad


PRODUCTBESCHRIJVING

SEPIA levert implementaties voor verschillende soorten petrinetten. Samen met plaats-/overgangsnetten ondersteunt het petrinetten met te onderscheiden tokenkleuren en definieert het gekleurde werkstroomnetten, waarbij gekleurde tokens worden geïnterpreteerd als gegevenselementen die tijdens de procesuitvoering worden gebruikt. Om de informatiestroomanalyse van processen te ondersteunen, definieert SEPIA zogenaamde IF-Nets, op maat gemaakt voor op beveiliging gerichte workflowmodellering waarmee gebruikers beveiligingsniveaus (HOOG, LAAG) kunnen toewijzen aan overgangen, gegevenselementen en personen/agenten die deelnemen aan het proces uitvoering.

SEPIA bouwt voort op TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) en SEWOL (https://sourceforge.net/projects/jawl/). Om SEPIA te gebruiken, moet u ervoor zorgen dat deze bibliotheken zich op het bouwpad bevinden.

SEPIA bevat de Multi Schema Validator (https://msv.java.net/) en isorelax (http://iso-relax.sourceforge.net/)

De documentatie is te vinden onder: http://doku.telematik.uni-freiburg.de/sepia.

Kenmerken

  • Implementatie van P/T-netten
  • Implementatie van gekleurde petrinetten
  • Implementatie van gekleurde workflow-netten
  • Implementatie van IF-Nets
  • Petri-net-doorgang
  • Petri net verfijning
  • Bereikbaarheidshulpmiddelen
  • PNML-parsering


Toehoorders

Wetenschap/onderzoek, geavanceerde eindgebruikers, beveiliging



Programmeertaal

Java



Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/sepiaframework/. Het is gehost in OnWorks om op een gemakkelijkste manier online te kunnen worden uitgevoerd vanuit een van onze gratis besturingssystemen.


Gratis servers en werkstations

Windows- en Linux-apps downloaden

Linux-commando's

Ad




×
advertentie
❤️Koop, boek of koop hier — het is gratis, en zo blijven onze diensten gratis.