doi dblp Test-Based Security Certification of Composite Services Marco Anisetti | Claudio A. Ardagna | Ernesto Damiani | Gianluca Polegri 2019 Volume 13 Issue 1