Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Roberto Zunino Secure Service Orchestration. 24-74 2007 conf/fosad/2007 FOSAD http://dx.doi.org/10.1007/978-3-540-74810-6_2 db/conf/fosad/fosad2007.html#BartolettiDFZ07