doi dblpTest-Based Security Certification of Composite ServicesMarco Anisetti | Claudio A. Ardagna | Ernesto Damiani | Gianluca Polegri2019 Volume 13 Issue 1