Auflistung nach Autor:in "Holderer, Julius"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragSecurity Workflow Analysis Toolkit(Sicherheit 2014 – Sicherheit, Schutz und Zuverlässigkeit, 2014) Accorsi, Rafael; Holderer, Julius; Stocker, Thomas; Zahoransky, RichardDieser 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.