loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 Sixth International Conference on Availability, Reliability and Security
SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems
Vienna, Austria
August 22-August 26
ISBN: 978-0-7695-4485-4
ASCII Text
x 
 
Rafael Accorsi, Claus Wonnemann, Sebastian Dochow, "SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems," Availability, Reliability and Security, International Conference on, pp. 692-697, 2011 Sixth International Conference on Availability, Reliability and Security, 2011.
 
 
BibTex
x
 
@article{ 10.1109/ARES.2011.108,
author = {Rafael Accorsi and Claus Wonnemann and Sebastian Dochow},
title = {SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems},
journal ={Availability, Reliability and Security, International Conference on},
volume = {0},
year = {2011},
isbn = {978-0-7695-4485-4},
pages = {692-697},
doi = {http://doi.ieeecomputersociety.org/10.1109/ARES.2011.108},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Availability, Reliability and Security, International Conference on
TI - SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems
SN - 978-0-7695-4485-4
SP692
EP697
A1 - Rafael Accorsi,
A1 - Claus Wonnemann,
A1 - Sebastian Dochow,
PY - 2011
KW - Security workflow analysis
KW - Information flow control
KW - Certification
KW - Audit
VL - 0
JA - Availability, Reliability and Security, International Conference on
ER -
 
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.
Index Terms:
Security workflow analysis, Information flow control, Certification, Audit
Citation:
Rafael Accorsi, Claus Wonnemann, Sebastian Dochow, "SWAT: A Security Workflow Analysis Toolkit for Reliably Secure Process-aware Information Systems," ares, pp.692-697, 2011 Sixth International Conference on Availability, Reliability and Security, 2011
Usage of this product signifies your acceptance of the Terms of Use.