Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, J. A. Martin, Ernesto Pimentel. Automated Synthesis and Ranking of Secure BPMN Orchestrators. In 2013 International Conference on Availability, Reliability and Security, ARES 2013, Regensburg, Germany, September 2-6, 2013. pages 455-464, IEEE Computer Society, 2013. [doi]
Abstract is missing.