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 formalisten Sicherheitsan forderungen dient SWAT als Base für die分析von Prozessmodellen und Prozesslogs。Beitrag zeigt an hand von Beispilen，welche Arten von Analysen mit SWAT möglich sind und wie SWAT hinsichtlich seiner Architektur aufgebaut ist是一名来自德国的特警队员。