SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems | IEEE Conference Publication | IEEE Xplore