WfSAC: BPM Workshop on Workflow Security Audit and Certification - August 28th 2011, Clermont-Ferrand, France

WfSAC: BPM Workshop on Workflow Security Audit and Certification
August 28th 2011, Clermont-Ferrand, France

Despite the growing demand for compliant business processes, security and privacy incidents caused by flawed workflow specifications are still soaring. Certification as a means to provably attest workflows' adherence to security properties and auditing to detect violations happening at runtime are essential instruments to achieve reliably secure process-aware information systems. WfSAC as a BPM related workshop organized by the Business Process Security group (BPSec) brings together researchers working on well-founded methods for workflow security audit and certification and industry applying these methods in practical cases. WfSAC welcomes contributions with a multidisciplinary character, such as economic, legal, and standardization aspects.

Keynotes
Ernesto Damiani (University Milan)
Markus Anderle (PricewaterhouseCoopers)

Topics of interest and submission guidelines
Accountability
Formalization of security requirements
Access and usage control
Information flow control
Audit reduction
Large-scale auditing
Automated security analysis
Log-formats and security
Behavioral workflow analysis
Meta-models for analysis
Business provenance
Practical experiences
Case studies
Process mining and reconstruction
Certification and audit standards
Workflow forensics
Continuous audit
Workflow redesign
Elucidation of requirements
Workflow similarity
Economic and legal aspects
Workflow transformation

http://www.telematik.uni-freiburg.de/wfsac