Published in: Dagstuhl Reports, Volume 3, Issue 8 (2013)
Rafael Accorsi, Jason Crampton, Michael Huth, and Stefanie Rinderle-Ma. Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). In Dagstuhl Reports, Volume 3, Issue 8, pp. 73-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{accorsi_et_al:DagRep.3.8.73, author = {Accorsi, Rafael and Crampton, Jason and Huth, Michael and Rinderle-Ma, Stefanie}, title = {{Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)}}, pages = {73--86}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2013}, volume = {3}, number = {8}, editor = {Accorsi, Rafael and Crampton, Jason and Huth, Michael and Rinderle-Ma, Stefanie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.73}, URN = {urn:nbn:de:0030-drops-43435}, doi = {10.4230/DagRep.3.8.73}, annote = {Keywords: Business Processes, Information Security, Compliance, Risk-Aware Processes, Service Compositions} }
Feedback for Dagstuhl Publishing