A tool for the synthesis of cryptographic orchestratorsVincenzo Ciancia, Ernesto Pimentel, M. Petrocchi et al.|Unknown|2012Cited by 4
Automated Synthesis and Ranking of Secure BPMN OrchestratorsVincenzo Ciancia, Ernesto Pimentel, Ilaria Matteucci et al.|Unknown|2013Cited by 3
On the Synthesis of Secure Services CompositionJose A. Martín, Mathieu Turuani, Fabio Martinelli et al.|Lecture notes in computer science|2014Cited by 2
Automated Synthesis and Ranking of Secure BPMN OrchestratorsVincenzo Ciancia, Ernesto Pimentel, Marinella Petrocchi et al.|International Journal of Secure Software Engineering|2014Cited by 2