2026-07-25T21:32:21Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4343 2024-03-06T10:26:03Z ddc:004 open_access

Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341) Accorsi, Rafael Crampton, Jason Huth, Michael Rinderle-Ma, Stefanie Business Processes Information Security Compliance Risk-Aware Processes Service Compositions From August 18--23, 2013, the Dagstuhl Seminar "Verifiably Secure Process-aware Information Systems" was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During this seminar, participants presented their current research and discussed open problems in the arising field of securing information systems driven by processes. The executive summary and abstracts of the talks given during the seminar are put together in this paper. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Rafael Accorsi and Jason Crampton and Michael Huth and Stefanie Rinderle-Ma 2013 Is Part Of Dagstuhl Reports, Volume 3, Issue 8 (2013) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.3.8.73 urn:nbn:de:0030-drops-43435 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.73 eng https://creativecommons.org/licenses/by/3.0/legalcode