What is SWAT
SWAT (Secure Workflows Analysis Toolkit) is a framework for the profound examination of security vulnerability of business processes and process logs. Methods of SWAT include procedures based on mathematical logic assertions. They can therefore provide credible statements on the absence or presence of security vulnerabilities. SWAT is able to detect and present flaws in Dataflows as well in Information flows. To ease the use of this software, SWAT uses a pattern approach. This means that the verifiable properties of a business process are available as pre-defined patterns that are parameterizable by the user. SWAT uses either petri nets as business process model or can read log files in various formats. Petri-Nets form the foundation for the verification of a business process as these nets allow for a precise representation of a workflows behavior.