DocumentCode
1833425
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
fYear
2011
fDate
22-26 Aug. 2011
Firstpage
692
Lastpage
697
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ARES.2011.108
Filename
6046022
Link To Document