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, Fabio Martinelli et al.|Unknown|2013Cited by 3
Automated Synthesis and Ranking of Secure BPMN OrchestratorsVincenzo Ciancia, Ernesto Pimentel, José Antonio Martín et al.|International Journal of Secure Software Engineering|2014Cited by 2