Gabriele Costa, Pierpaolo Degano, Fabio Martinelli. Modular Plans for Secure Service Composition. In Alessandro Armando, Gavin Lowe, editors, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Volume 6186 of Lecture Notes in Computer Science, pages 41-58, Springer, 2010. [doi]
Abstract is missing.