Title :
SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems
Author :
Accorsi, Rafael ; Wonnemann, Claus ; Dochow, Sebastian
Author_Institution :
Dept. of Telematics, Univ. of Freiburg, Freiburg, Germany
Abstract :
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.
Keywords :
certification; information systems; security of data; workflow management software; high-level architecture; information leak detection; process-aware information system; security workflow analysis toolkit; workflow certification; Analytical models; Business; Data models; Reliability; Security; Testing; Audit; Certification; Information flow control; Security workflow analysis;
Conference_Titel :
Availability, Reliability and Security (ARES), 2011 Sixth International Conference on
Conference_Location :
Vienna
Print_ISBN :
978-1-4577-0979-1
Electronic_ISBN :
978-0-7695-4485-4
DOI :
10.1109/ARES.2011.108
