SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems
Rafael Accorsi, Claus Wonnemann, Sebastian Dochow · 2011
This paper reports on ongoing work on SWAT, a new toolkit for security workflow analysis. SWAT provides a platform for the realization and testing of well-founded methods to detect information leaks in workflows, both for the workflow certification and for audit based upon the execution traces. Besides presenting the SWAT's functionality and high-level architecture, an example illustrates its operation.