-------- Original Message -------- Subject: [WI] BPM Workshop on Workflow Security Audit and Certification (WfSAC) Date: Mon, 02 May 2011 14:32:38 +0200 From: Rafael Accorsi rafael.accorsi@iig.uni-freiburg.de Organization: University of Freiburg To: wi@aifb.uni-karlsruhe.de

[Apologies for cross postings.]

CALL FOR PAPERS

WfSAC 2011 Workshop on Workflow Security Audit and Certification http://www.telematik.uni-freiburg.de/wfsac

Co-located with the 9th Int'l Conf. on Business Process Management http://bpm2011.isima.fr/, Clermont-Ferrand, France

*Important dates* Submission deadline: 31 May 2011 Notification of acceptance: 1 July 2011 Camera ready: 31 July 2011 (for inclusion in pre-proceedings) Workshop day: 29 August 2011 Camera ready for LNBIP proceedings: 19 September 2011 LNBIP proceedings delivery to authors: December 2011

*Keynotes* Markus Anderle (PwC) and Ernesto Daminani (Milan U)

========================================================================

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 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.

Topics of interest include:

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/audit standards Workflow forensics Continuous audit Workflow similarity Elucidation of requirements Workflow transformation Economic and legal aspects Workflow redesign

*Submission guidelines* Submitted manuscripts must be written in English and no longer than 12 pages. They must be anonymous and comply with the LNBIP format http://www.springer.com/series/7911. Submissions will be reviewed by three PC members based on their originality, significance, technical soundness and clarity of exposition. Submitted manuscripts must not substantially overlap manuscripts that have been published or that are simultaneously submitted to a conference with proceedings or a journal.

Papers must be submitted electronically via the EasyChair submission system athttps://www.easychair.org/conferences/?conf=wfsac11.

*Organizing committee* Rafael Accorsi (Freiburg U, DE) Wil van der Aalst (Eindhoven TU, NL)

*Program committee* Achim Brucker (SAP Labs, DE) Fabio Casati (Trento U, IT) Jason Crampton (London U, UK) Isao Echizen (NII, JP) Aditya Ghose (Wollongong U, AU) Jana Koehler (Lucerne HS, CH) Niels Lohmann (Rostock U, DE) Heiko Ludwig (IBM Research, US) Alexander Maedche (Mannheim U, DE) Raimundas Matulevicius (Tartu U, EE) Birgit Pfitzmann (IBM Research, US) Silvio Ranise (FBK, IT) Stefanie Rinderle-Ma (Vienna U, AT) Shazia Sadiq (Queensland U, AU) Pierangela Samarati (Milan U, IT) Christian Schlaeger (Ernst& Young, DE) Steffen Staab (Koblenz U, DE) Thomas Stocker (Freiburg U, DE) Barbara Weber (Innsbruck U, AT) Jan Martijn van der Werf (Eindhoven TU, NL) Nicola Zannone (Eindhoven TU, NL)