Logo des Repositoriums

P228 - Sicherheit 2014 - Sicherheit, Schutz und Zuverlässigkeit

https://dl.gi.de/handle/20.500.12116/20034
Auflistung nach:

Auflistung P228 - Sicherheit 2014 - Sicherheit, Schutz und Zuverlässigkeit nach Autor:in "Accorsi, Rafael"

1 - 1 von 1
  • Konferenzbeitrag
    Security Workflow Analysis Toolkit
    (Sicherheit 2014 – Sicherheit, Schutz und Zuverlässigkeit, 2014) Accorsi, Rafael; Holderer, Julius; Stocker, Thomas; Zahoransky, Richard
    Dieser Beitrag stellt das ”Security Workflow Analysis Toolkit“ (SWAT) vor, eine Plattform für die formal fundierte Analyse von Geschäftsprozessen. Ausgehend von als Muster formalisierten Sicherheitsanforderungen dient SWAT als Basis fur die Analyse von Prozessmodellen und Prozesslogs. Der vorliegende Beitrag zeigt anhand von Beispielen, welche Arten von Analysen mit SWAT möglich sind und wie SWAT hinsichtlich seiner Architektur aufgebaut ist.