Test-Based Security Certification of Composite Services. - Marco Anisetti; Claudio A. Ardagna; Ernesto Damiani; Gianluca Polegri (ACM Trans. Web, 2019)