Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino. Secure Service Orchestration. In Alessandro Aldini, Roberto Gorrieri, editors, Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Volume 4677 of Lecture Notes in Computer Science, pages 24-74, Springer, 2007. [doi]
Abstract is missing.