Rafael Accorsi, Claus Wonnemann, Sebastian Dochow. SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 692-697, IEEE, 2011. [doi]
Abstract is missing.