@article{DBLP:journals/jcs/CostaDM12, author = "Gabriele Costa and Pierpaolo Degano and Fabio Martinelli", journal = "Journal of Computer Security", note = "partners CNR, Projects Nessos, Aniketos, TESLA, connect; citations 3", number = "1", pages = "81-117", title = "{M}odular plans for secure service composition", volume = "20", year = "2012", }